モナドはエンドファンクターのカテゴリの中では単なるモノイドです、問題は何ですか?
型クラスMonadPlus、Alternative、Monoidの違いは?
基本的なモノイド定義は、「インスタンス宣言のスーパークラスから発生する(Semigroup MyMonoid)のインスタンスはありません」を示します。