F#のジェネリックパラメータに対して、「.NET値型であること」を強制することができます。これを値型制約と言います。また、ジェネリックパラメータに対して、「.NET参照型であること」を強制することもできます。これを参照型制約と言います
　.NET値型は、F#構造体もサポートしています。また、.NET参照型は、F#クラス型・レコード型等もサポートしています。この点がnull制約とは大きく異なりますので覚えておきましょう。

　 　次の例では、値型/参照型制約の簡単な利用方法を紹介しています。