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

Sittampalam, Ganesh ganesh.sittampalam at
Thu Feb 3 17:36:42 CET 2011

Tyson Whitehead wrote:
> 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. 

How much value would the separate class have in that case?


Please access the attached hyperlink for an important electronic communications disclaimer: 

More information about the Libraries mailing list