Descrição
Um plugin de type-checker do GHC para normalizar e resolver constraints sobre números naturais em nível de tipo. Ajuda o compilador a provar igualdades que surgem de aritmética sobre GHC.TypeLits.Nat.
Desenvolvedores o usam em bibliotecas com dimensões em nível de tipo, dados de tamanho fixo e provas numéricas. Código dependente de plugin deve documentar as opções GHC necessárias para que projetos compilem com confiabilidade.