Why should Applicative be a superclass of Monad?...

Must I implement Applicative and Functor to implement a Monad...

Haskell - can you have a monad that is not an applicative functor?...

Is there an "ApplicativeIO" class?...