@hackage th-kinds-fork0.2

Automated kind inference in Template Haskell.

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