Descrição
Uma biblioteca Haskell para manter relações de equivalência usando uma estrutura union-find em STT. Ajuda algoritmos a mesclar grupos com eficiência e perguntar se dois itens são conhecidos como equivalentes.
Desenvolvedores a usam em compiladores, inferência de tipos, algoritmos de grafo, agrupamento e solução de constraints. A correção depende de mesclar apenas quando a relação de equivalência é realmente justificada.