Description
Lifts a type available through a Typeable constraint into a Template Haskell type representation. This helps metaprogramming code generate or inspect type information at compile time.
It is useful for advanced Haskell libraries that use Template Haskell, generic programming, or code generation. It is a compile-time support library, not a standalone tool.