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

Tyson Whitehead twhitehead at
Thu Feb 3 17:35:42 CET 2011

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

More information about the Libraries mailing list