+ Function as instance of Monoid.