Descrição
Fornece listas com tamanho indexado em Haskell. Uma lista com tamanho indexado carrega seu tamanho no tipo, permitindo que o compilador rejeite algumas incompatibilidades antes do programa executar.
É útil para dados de tamanho fixo, protocolos, código matemático, testes e APIs em que a quantidade de elementos faz parte do contrato. Ela pode tornar o código mais seguro, mas as assinaturas de tipo podem ficar mais avançadas.