@dysmemic@ezyang We formalise that result in the below paper. It shows we can implement algebraic effects by only using coroutines and usual functional constructs, but with the restriction that a continuation which is used in a handler is one-shot.
https