[Haskell-cafe] Can it be proven there are no intermediate "useful" type classes between Applicative Functors & Monads?

KC kc1956 at gmail.com
Sun Jun 5 21:51:47 CEST 2011

If new intermediate classes crop up then there would be no point in fixing

class (Applicative m) => Monad m where

since it would have to be changed if new intermediate classes are found.

I realize non-existence proofs are hard.


More information about the Haskell-Cafe mailing list