モナドになれないFunctor(追補)

関連する議論を見つけたらここに書いていきます

• https://stackoverflow.com/questions/49742377/is-data-poe-a-empty-pair-a-a-a-monad
  • まさにこの話題です、ただし質問内容が（質問者の考えた）instanceはだめなのか？というものだったので、回答者・コメント含めて証明まで与えている方はいないみたいです。
• https://stackoverflow.com/questions/7220436/good-examples-of-not-a-functor-functor-applicative-monad/49703783#49703783
  • コメント欄でかなり発展的な議論がされていて、このブログで書いた内容(Maybe (a,a,a,...)はMonadにできない)も、おおまかにではあるけれども説明している方がいます。
• https://stackoverflow.com/questions/13034229/concrete-example-showing-that-monads-are-not-closed-under-composition-with-proo?rq=1
  • Monadになれない他の例があります。