> I would kill for some kind of `err_yield(err)` construct that handles propagating the error if it's the caller's problem to deal with.

This is called (>>=)[0], but most of the industry is ignorant enough to call it impractical and non-pragmatic (as opposed to their pragmatic `if err`)

[0] https://hackage.haskell.org/package/base-4.20.0.1/docs/Prelu...