Using monoids