@hackage th-kinds0.2

Automated kind inference in Template Haskell.

Given the name of a Haskell type, typeclass, type family, or any of the above, determine its kind.