What is the DataKinds extension of Haskell?
问题 I am trying to find an explanation of the DataKinds extension that will make sense to me having come from only having read Learn You a Haskell. Is there a standard source that will make sense to me with what little I've learned? Edit: For example the documentation says With -XDataKinds, GHC automatically promotes every suitable datatype to be a kind, and its (value) constructors to be type constructors. The following types and gives the example data Nat = Ze | Su Nat give rise to the