Comment by angiosperm

After scrutiny this seems to be "Coroutines and Effects" in, particularly, Rust.