概念数据类型提升
DataKinds
GHC的一项语言扩展，将数据类型的值构造器提升为类型构造器，并自动赋予相应的Kind，支持类型级编程。
时间轴 (近 90 天)
10月17日
启用DataKinds扩展后，每个数据类型会自动将其值构造器提升为类型构造器，并赋予它们Kind；例如data Bool = True | False会生成类型'True和'False（Kind为Bool）。
待验证50%
GHC的一项语言扩展，将数据类型的值构造器提升为类型构造器，并自动赋予相应的Kind，支持类型级编程。
启用DataKinds扩展后，每个数据类型会自动将其值构造器提升为类型构造器，并赋予它们Kind；例如data Bool = True | False会生成类型'True和'False（Kind为Bool）。