Можно ли выразить что-то вроде этого:

type id = int > 0

Я знаю, что это невозможно сделать статически, поскольку это означает, что F # имеет зависимые типы. В C # I 'Я привык делать подобные вещи с контрактами кода и получать принудительное исполнение. Я'я ищу что-то похожее здесь.

Спасибо

РЕДАКТИРОВАТЬ: Спасибо за все ответы, которые имеют различные плюсы и минусы. У монента ям только с использованием небольшого подмножества F #, подмножества ядра ocaml, которое легко поддается программированию доказательств. Так что никаких занятий.