Proposal: Remove the bogus MonadFail instance for ST

I just noted that ST is an instance of MonadFail, with fail throwing an error. This seems utterly contrary to the purpose of MonadFail! Can we please remove this instance? David Feuer

+1 on removing it. Sent from my iPhone
On Mar 13, 2018, at 11:45 PM, David Feuer
wrote: I just noted that ST is an instance of MonadFail, with fail throwing an error. This seems utterly contrary to the purpose of MonadFail! Can we please remove this instance?
David Feuer _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

+1, this seems like a good move to me.
On Wed, Mar 14, 2018 at 5:45 AM, David Feuer
I just noted that ST is an instance of MonadFail, with fail throwing an error. This seems utterly contrary to the purpose of MonadFail! Can we please remove this instance?
David Feuer _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
participants (3)
-
Andrew Martin
-
David Feuer
-
Michael Snoyman