[ new ] solver for comm monoid