add Monoid laws