Descrição
Uma biblioteca Haskell que adiciona operações em nível de tipo para GHC.TypeLits.Nat. Ajuda desenvolvedores a expressar aritmética e relações entre números naturais no sistema de tipos.
Desenvolvedores a usam em vetores de tamanho fixo, descrições de hardware, APIs numéricas e dimensões fortemente tipadas. Aritmética em nível de tipo deve continuar documentada porque erros do compilador podem ficar difíceis para usuários interpretarem.