Add more MonadPlus and Monoid instances