Giving GHC/Haskell a Promotion: datakinds, kind polymorphism (PDF]research.microsoft.com3 points·gtani··0 commentsOpen articleSaveView on HN