Descrição
Uma biblioteca Haskell para mapas finitos dependentes, também descritos como produtos dependentes parciais. Permite que chaves carreguem informação de tipo que determina o tipo do valor armazenado com cada chave.
Desenvolvedores a usam em registros fortemente tipados, sistemas de eventos, interpretadores e APIs onde valores heterogêneos precisam de busca mais segura. O benefício é manter tipos de chave e valor conectados em tempo de compilação.