> 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