And now for monoids