Eq
algebra
EqFunctions
algebra
empty
Monoid
MonoidFunctions
equiv
Eq
eqv
Eq
EqFunctions
Order
OrderFunctions
PartialOrder
PartialOrderFunctions