> Overall, coroutines strike me as the most promising way to handle many kinds of effectful functions

This is basically what we do at Temporal, which is essentially deterministic coroutines with externalized effects. This gives another nice property: using coroutines to wrap effects lets the non-effect logic replay/resume durably.