Giving GHC/Haskell a Promotion: datakinds, kind polymorphism (PDF]research.microsoft.com3 pointsgtani15 years ago