PolyKinds

GHC的一项语言扩展，允许类型变量拥有多态Kind，从而支持更泛化的类型级编程和泛型抽象。