th-kinds (hackage): Automated kind inference in Template Haskell
Keywords: bsd3|library|template-haskell