PROPOSAL: Make Applicative a superclass of Monad

[Sittampalam, Ganesh]

> >  Haskell' is about fixing existing practice, if it did go in, you 
> > would  need some mechanism (i.e. class aliases) to ensure that it 
> > didn't  break code.

> ... which is why we need class aliases!!

> I want to see this change, *and* I want to see class aliases. :-)

I want class aliases, and I want to see this change but *only if* we get
class aliases. Functor =/=> Monad is annoying enough, we shouldn't make
it worse without fixing the underlying limitation first.

Ganesh

==============================================================================
Please access the attached hyperlink for an important electronic communications disclaimer: 

http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html
==============================================================================