カインド (型理論)
すなわち、型コンストラクタはカリー化により部分適用をサポートしする。これがHaskellが多相型を獲得した方式である。例えば、型[](リスト)は型コンストラクタで、リストの要素の型を指定するために1つの引数を取ります。従って、[Int](Intのリスト)や[Float](Floatのリスト)や[[Int]](Intのリストのリスト)でさえ、型コンストラクタ[]の妥当な適用である。それゆえに、[]は ∗ → ∗ {\displaystyle *\rightarrow *} カインドの型である。Intは ∗ {\displaystyle *} というカインドを持つため、これを[]に適用すると ∗ {\displaystyle *} カインドの[Int]になる。2-tupleのコンストラクタ(,)はカインド ∗ → ∗ → ∗ {\displaystyle *\rightarrow *\rightarrow *} を持ち、3-tupleのコンストラクタ(,,)はカインド ∗ → ∗ → ∗ → ∗ {\displaystyle *\rightarrow *\rightarrow *\rightarrow *} (以下同様) を持つ。