Descrição
Reifica recursivamente informações de tipos de dados para código Template Haskell. Em vez de inspecionar apenas um tipo, ele pode seguir tipos relacionados para que geradores de código tenham uma visão mais completa das estruturas necessárias.
É útil para bibliotecas de deriving, serializadores, geradores de esquema e ferramentas de tempo de compilação que precisam entender tipos Haskell conectados. Ele roda durante a compilação e é destinado a trabalho de metaprogramação.