Data.Equivalence.STT
data Equiv s c a
data Class s c a
leastEquiv
getClass
combine
combineAll
same
desc
remove
equate
equateAll
equivalent
classDesc
removeClass