comm_monoid source