Why should Applicative be a superclass of Monad?
Well, I’m not terribly satisfied with the answers given so far, but I think the comments attached to them are a bit more compelling. So I’ll summarize here: I think there’s only one sensible Functor instance that follows from Applicative: fmap f fa = pure f <*> fa Assuming that’s unique, it makes sense that … Read more