New posts in fam-proposal

Why should Applicative be a superclass of Monad?

haskell monads applicative fam-proposal