Kind系统

Haskell类型系统中的元层级概念，描述类型的'类型'，即类型构造器接受类型参数的数量和种类，用于静态检查类型应用的合法性。