playing with Monoid.
Added example of `reduce`