MonadFail proposal (MFP): Moving fail out of Monad

Brandon Allbery allbery.b at
Wed Jun 10 15:49:51 UTC 2015

On Wed, Jun 10, 2015 at 11:44 AM, David Feuer <david.feuer at> wrote:

> It therefore seems really only to be suitable for
> pattern match failure and user-generated IOErrors

I feel like even that second one is not really appropriate. If you want a
user-generated IOError, create one yourself; don't make assumptions about
availability or API for what should really be considered a compiler or
language implementation detail.

brandon s allbery kf8nh                               sine nomine associates
allbery.b at                                  ballbery at
unix, openafs, kerberos, infrastructure, xmonad
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list