0個以上の型を引数に取り新たな型を作るもの

型引数を1つ取って具体型を作るもの

「型引数」と「型コンストラクタ」は違うのか

型コンストラクタの型がkind

型コンストラクタは :t では調べられない

:k でkindを調べられる

型コンストラクタと値コンストラクタの違い

雑に言うと、右辺が型で、左辺が値や

data を使って、以下の様に型を定義したとする

左辺の Id が型コンストラクタ

右辺の Id が値コンストラクタ

constructorも参考

例

型 [] はリストの型コンストラクタ

型 (,) はタプルの型コンストラクタ

型 Either は型2つを包んで Either a b を作るEitherの型コンストラクタ

Maybe 型という「型コンストラクタ」を使って Maybe Int のような「具体型」を作れる

型コンストラクタと関数の類似点

部分適用ができる

いずれは具体型になる

多相型である

参考