On Mon, Sep 7, 2015 at 10:08 AM, DreamApart AtHaskells <rnmss.hs@gmail.com> wrote:
We cannot define a (+) alone for a type, so we got many different functions
from different libs, like mappend, mplus, plus, (<+>), (.+.), (+.), which all reads
"plus".
I should mention one other difficulty: MonadPlus and Monoid are not quite the same thing. mplus and mappend can't really be unified into a single conceptual structure (mostly because of the Maybe instance).