Monoid is more accurate than MonadPlus