Description
A Haskell library for maintaining equivalence relations using a union-find structure in STT. It helps algorithms efficiently merge groups and ask whether two items are known to be equivalent.
Developers use it in compilers, type inference, graph algorithms, clustering, and constraint solving. Correctness depends on merging only when the equivalence relation is truly justified.