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

[Sittampalam, Ganesh]

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?

Ganesh

=============================================================================== 
Please access the attached hyperlink for an important electronic communications disclaimer: 
http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html 
===============================================================================