Concept数据类型提升
DataKinds
A GHC language extension that promotes value constructors of data types to type constructors and automatically assigns them corresponding kinds, supporting type-level programming.
Timeline (last 90 days)
Oct 17
After enabling the DataKinds extension, each data type automatically promotes its value constructors to type constructors and assigns them Kinds; for example, data Bool = True | False generates the types 'True and 'False (with Kind Bool).
Unverified50%