Descrição
Fornece vectors Haskell marcados com seu tamanho no nível de tipos. Isso permite que o compilador verifique se operações que esperam um tamanho específico recebem dados com aquele tamanho.
É útil para protocolos, registros de tamanho fixo, código numérico, gráficos, testes e APIs em que incompatibilidades de comprimento são bugs. Ele melhora a segurança ao custo de programação no nível de tipos mais avançada.