>>97
> なんでそうなる。

だって、そういう（たとえ話の）世界では
identity と associativity の両性質があることで果たせる機能が
MonadPlus クラスのおかげで既に実現されているわけだから、
「機能という点において」は Monoid クラスが作られる必要性がないわけでしょ

でもそんな世界にあっても、もし Monoid クラスが必要だという要求が出てきたら、
それはそういう機能以外にも、Monoid という性質に意味があるということじゃないかな
あるいは、>>89 や >>90 以外にも Monoid ならではの機能があるとか

と、思考実験してみました

Monoid クラスにどんな意味（隠れた機能）があるのかまでは、まだ考えられてないけど

> いや、正直、実際のプログラミングでMonoidクラスが有用だと感じたことはないが…

同感です