Template Haskell bibreference
Text about the other types

The other types includes substitutions, contexts, uses, class
environments and languages.