Change to commutative monoid