monoids or ``Monoid``s