ah, this seems relevant: https://kotlinlang.slack.com/archives/C5UPMM0A0/p1690430479357639

@Sam Pengilly did you end up finding a good solution here? 🙂

Oh, I see this is a different thread to the one I raised a while ago asking about this

The difficulty is in working out the semantics. What makes sense when mapping an Either to an Ior or vice versa. Bind is semantically attached to the short circuit behaviour. So we want to provide a simple right-biased way to bind an either inside an IorRaise block, and maybe a way to bind an Ior inside a normal Raise block for and either DSL. The latter is more challenging because what does it mean if the Ior is in a Both state? Do we right bias still and just discard the error info?

I'll take another stab at it, but from memory I couldn't find a way to easily build a temporary version of it outside of arrow. Since it needs to integrate more closely with types that aren't extendable or visible