What is the easiest way to convert effect to the same effect in `purescript-run`?

[ntwilson]

This seems really similar to a question I asked awhile ago

`withExcept` with purescript-run / why is redundant `Union` needed?

I’m trying to convert a project from mtl (mostly ExceptT) to purescript-run. The main thing I’m missing is the purescript-run version of withExceptT. I think I’ve got a working version that I wrote myself (sorry for all the extra annotations, it was a bit tough for me to wrap my head around) withExcept :: ∀ e e' a r. Union r (except :: Except e') (except :: Except e' | r) => (e -> e') -> Run (EXCEPT e + r) a -> Run (EXCEPT e' + r) a withExcept fn r = let x = runExcept r :: Run r (E…

Basically with the same answer about Union having a left bias.