F#のジェネリックパラメータに対して、「unit型を引数に持つコンストラクタが存在すること」を強制することができます。これをコンストラクタ制約と言います。unit型を引数に持つコンストラクタを持たない型の場合、型制約を満たさないので、対象のジェネリック型を利用することはできません。

　 　次の例では、コンストラクタ制約の簡単な利用方法を紹介しています。