Data.Partition
data Partition a
discrete
empty
fromSets
fromDisjointSets
nontrivialSets
joinElems
find
rep