Why MonadPlus and not Monad + Monoid?
But couldn’t you rewrite any type constraint of (MonadPlus m) => … as a combination of Monad and Monoid? No. In the top answer to the question you link, there is already a good explanation about the laws of MonadPlus vs. Monoid. But there are differences even if we ignore the typeclass laws. Monoid (m … Read more