Language.Haskell.TH.KindInference

A module to infer the kind of a given type within Template Haskell. Warning: this implements its own kind inference system, and is therefore not guaranteed to work on all esoteric types. (That said, I have no examples where it doesn't work.)

Documentation

inferKind :: InferKind t => t -> Q (Either String Kind)