Descrição
Uma biblioteca Haskell para um tipo habitado por um número finito de valores, indexado por naturais em nível de tipo. Representa valores limitados cujo intervalo é conhecido no sistema de tipos.
Desenvolvedores a usam em indexação segura, estruturas de tamanho fixo, provas e APIs onde o número de valores possíveis importa. Limites devem ser preservados com cuidado ao converter a partir de inteiros em tempo de execução.