Hey @ekmett, we've briefly discussed this at ZuriHac and you mentioned that you wouldn't mind such an instance, so here is the PR. Let me know if you'd like me to change anything.
We could also potentially add MonadCatch (ST RealWorld) and possibly even MonadMask (ST RealWorld), but I am not sure how useful they would be, cause if someone is dealing with ST RealWorld, might as well run it in IO.
Hey @ekmett, we've briefly discussed this at ZuriHac and you mentioned that you wouldn't mind such an instance, so here is the PR. Let me know if you'd like me to change anything.
We could also potentially add
MonadCatch (ST RealWorld)and possibly evenMonadMask (ST RealWorld), but I am not sure how useful they would be, cause if someone is dealing withST RealWorld, might as well run it inIO.