Descrição
Eleva um tipo disponível por uma restrição Typeable para uma representação de tipo do Template Haskell. Isso ajuda código de metaprogramação a gerar ou inspecionar informações de tipo em tempo de compilação.
É útil para bibliotecas Haskell avançadas que usam Template Haskell, programação genérica ou geração de código. É uma biblioteca de suporte em tempo de compilação, não uma ferramenta independente.