empty

ListMonoid MapMonoid OptionMonoid StringMonoid UnitAlgebra

eqv

BigIntAlgebra BooleanAlgebra ByteAlgebra CharAlgebra DoubleAlgebra FloatAlgebra IntAlgebra ListEq LongAlgebra MapEq MapVectorEq OptionEq SetPartialOrder ShortAlgebra UnitAlgebra