Functor-Applicative-Monad Proposal - HaskellWiki

Haskell calls a couple of historical accidents its own. While some of them, such as the "number classes" hierarchy, can be justified by pragmatism or lack of a strictly better suggestion, there is one thing that stood out as, well, not that: Applicative not being a superclass of Monad. The topic has been discussed multiple times in the past (cf. link section at the very end). This article describe

[gamaguchi]

こちらのほうが本題だし、読むべきだった。