concat for monoids