Descrição
Uma biblioteca Haskell para tipos de soma dependente. Uma soma dependente pareia uma tag ou chave com um valor cujo tipo depende dessa tag, permitindo estruturas heterogêneas mais seguras.
Desenvolvedores a usam em mapas tipados, sistemas de eventos, interpretadores e APIs que precisam de valores de tipos diferentes em um único contêiner. Ela ajuda a preservar informação de tipo que de outra forma seria apagada.