Control.Monad.Trans.UnionFind
data UnionFindT p m a
runUnionFind
data Point a
fresh
repr
descriptor
union
equivalent