在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。