empty

ListMonoid MapMonoid OptionMonoid StringMonoid

equals

Rat

eqv

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