On Tue, Jun 24, 2008 at 02:15:19AM -0700, Ashley Yakeley wrote: > http://hackage.haskell.org/trac/ghc/ticket/2392 > > Make Applicative (in Control.Applicative) a superclass of Monad (in > Control.Monad). I agree with what other people have said about H98 compatibility. I think you would be better off proposing this for Haskell'. Thanks Ian