Descrição
Fornece inteiros em nível de tipos usando TypeNats, DataKinds e type families fechadas. Números em nível de tipos permitem mover tamanho, contagem ou restrições numéricas para o sistema de tipos de Haskell.
É útil para bibliotecas avançadas que precisam de garantias mais fortes em tempo de compilação. É uma biblioteca para programação em nível de tipos e não possui interface independente.