Kind

参考リソース

• Haskell's kind system - a primer