New posts in data-kinds

What is the DataKinds extension of Haskell?

haskell types algebraic-data-types data-kinds