Adds monoid