monoids for Comparison and Equivalence