Proposal: Applicative => Monad: Is there any consensus?

[Tyson Whitehead]

On February 3, 2011 11:15:39 Sittampalam, Ganesh wrote:
> Even in the case of splitting fail out of Monad, which would require
> that do expressions have different types depending on whether they
> contain incomplete pattern matches or not?

You could also opt for making do always require MonadFail in the interest of 
consistency, even when it wouldn't be strictly required.

Cheers!  -Tyson
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 490 bytes
Desc: This is a digitally signed message part.
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110203/12cdbacf/attachment.pgp>