PROPOSAL: Make Applicative a superclass of Monad

Neil Mitchell ndmitchell at
Fri Jun 27 05:57:00 EDT 2008


>  So does the "silence = approval" rule apply here?

2 days is not enough time :-)

I disagree, its a breaking change from Haskell 98. It also means that
if you want to provide syntactic sugar for do notation, i.e. my Test
monad, you have to jump through more hoops.

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.



More information about the Haskell-prime mailing list