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

Does anyone have any feeling regarding whether people are actually coding code that depends on pattern matching falling through to custom fail code?

I think it's quite common in the case where the Monad is a MonadPlus. I certainly use that feature   As a specific instance of MonadPlus, nearly all monadic parser-combinator libraries rely on this. Regards,     Malcolm