Descrição
Expande sinônimos de tipos dentro de árvores de sintaxe abstrata de Template Haskell. Isso ajuda código de metaprogramação a enxergar os tipos subjacentes em vez de apenas os apelidos escritos pelo desenvolvedor.
É útil para geração de código, auxiliares de deriving, verificações estáticas e ferramentas que precisam comparar ou transformar tipos com precisão. Ele roda durante a compilação e é destinado a autores avançados de bibliotecas Haskell.