To pytanie ma już odpowiedź tutaj:

Jestem bardzo nowy zarównoMonads iMonoids i ostatnio także dowiedziałem się oMonadPlus. Z tego co widzę,Monoid iMonadPlus oba zapewniają typ z asocjacyjną operacją binarną i tożsamością. (Nazwałbym to półgrupą w języku matematycznym.) Więc jaka jest różnica międzyMonoid iMonadPlus?