ia0/GhcKindsExamples — pull request #2 by shelarcy (2012-01-27 12:09:12+00:00)
Title: Use DataKinds language extention

GHC splited datatype promotion feature from PolyKinds, and added new DataKinds language for that purpose now. So, I made chenge to follow GHC's change.

http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/kind-polymorphism-and-promotion.html#promotion