Proposal: Applicative => Monad: Is there any consensus?
twhitehead at gmail.com
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 490 bytes
Desc: This is a digitally signed message part.
More information about the Libraries