PROPOSAL: Make Applicative a superclass of Monad

[Niklas Broberg]

>  > 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.

Yes, agreed, I should have made my point more clear. That's how I feel too.

/Niklas