adding monoids