Add a Monoid/Semigroup instance for Maybe.