3 Feb
2011
3 Feb
'11
11:35 a.m.
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