add string monoid