nicer monoid ...