Descrição
Uma biblioteca Haskell de utilitários para escrever plugins de type-checker do GHC. Fornece auxiliares para autores de plugins que precisam inspecionar constraints, emitir evidência ou estender comportamento de checagem de tipos.
Desenvolvedores a usam em plugins avançados de compilador e bibliotecas de nível de tipos. Plugins podem mudar como o código passa na checagem de tipos, então devem ser testados entre versões do GHC e documentados com cuidado.