PROPOSAL: Make Applicative a superclass of Monad

Bulat Ziganshin bulat.ziganshin at
Tue Jun 24 05:30:14 EDT 2008

Hello Ashley,

Tuesday, June 24, 2008, 1:15:19 PM, you wrote:

> Make Applicative (in Control.Applicative) a superclass of Monad (in

it will break H98 compatibility - some code written in H98 will be
impossible to compile with such library. since GHC is (among other
features) provides full H98 compatibility, we can't make such change

well, at least i expect such answer from GHC HQ :)

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at

More information about the Libraries mailing list