Commutative_monoid loading ...