New operators, instance of Monoid.