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

malcolm.wallace malcolm.wallace at
Thu Feb 3 19:00:53 CET 2011

> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list