下記のように型引数の個数を変えて kind を確認してみました。
型引数を受け取らないのに *
がついているのがよくわかりません。
また、型引数が複数以上の最後の -> *
の部分は具体的にどんな型が返ることを言っているのでしょうか? 下記 BBB
の場合は -> *
が示してるのは BBB型
のことですか?
型引数をなにも受けとらない場合
Prelude> data AAA = AAA
Prelude> :kind AAA
AAA :: *
型引数をひとつ受け取る場合
Prelude> data BBB a = BBB
Prelude> :kind BBB
BBB :: * -> *
型引数を2つ受け取る場合
Prelude> data CCC a b = CCC
Prelude> :kind CCC
CCC :: * -> * -> *