++ is Monoid again #58