Определение наборов в ocaml

У меня проблема с созданием коллекции, содержащей разнородные элементы, в частности элемент будет структурирован следующим образом:

(a, 1), ((a, 1), 1 )), ((a, 1), 1), 1) и так далее ....

я могу сделать это с помощью модуля Set of ocaml?

кроме того, есть ли какая-то функция, которая позволяет мне сделать декартово произведение между наборами (также разнородным)?