>>804,805
そりゃ、理論的な美しさと実用性を比べれば実用性のほうが勝るかもしれないけど、MonadがApplicativeのサブクラスでないことは、実用性も損なっていると思うな。
ライブラリ製作者が注意すればよいこと、Contorl.なんちゃらカコイーな変態(オレとか)がいちいちinstance宣言かけばよいことではあるが、それでも僅かにであっても実用性を損なっている。

>>806
変態で悪いか？　あぁ、悪いのか？　オレが変態でお前に迷惑かけたか？
ああ、オレは変態だよ。それが何か問題か？