monoid laws