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

[malcolm.wallace]

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110203/7e6d1619/attachment.htm>