Monoids (semigroups with a unit)