empty
ListMonoid
MapMonoid
OptionMonoid
StringMonoid
equals
Rat
eqv
BigIntAlgebra
BooleanAlgebra
ByteAlgebra
CharAlgebra
DoubleAlgebra
FloatAlgebra
IntAlgebra
LongAlgebra
MapEq
MapVectorEq
OptionEq
SetPartialOrder
ShortAlgebra