MonadFail proposal (MFP): Moving fail out of Monad

Johan Tibell johan.tibell at gmail.com
Tue Jun 9 22:26:25 UTC 2015


Thanks for putting this together.

The proposal says:

"As a consequence, in current Haskell, you can not use Monad-polymorphic
code safely, because although it claims to work for all Monads, it might
just crash on you. This kind of implicit non-totality baked into the class
is terrible."

Is this actually a problem in practice? Is there any code we can point to
that suffers because of the current state of affairs? Could it be included
in the proposal?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150610/c738ea8e/attachment.html>


More information about the Libraries mailing list