Update Monoid[_] a bit.
Some thoughts for common operations.