Descrição
Torna mais fácil trabalhar com informações reificadas de tipos de dados em Template Haskell. Reificação permite que código em tempo de compilação inspecione declarações, tipos, construtores e campos de definições Haskell existentes.
É útil para bibliotecas que geram instâncias, derivam código ou analisam tipos durante a compilação. É um auxiliar de metaprogramação, então erros normalmente aparecem em tempo de compilação, não como comportamento de uma aplicação separada.