monoid behaviour on writer