I used to argue that lazy evaluation and coroutines were kind of two sides of the same coin. That in a way, partially evaluated haskell functions were equivalen

I used to argue that lazy evaluation and coroutines were kind of two sides of the same coin. That in a way, partially evaluated haskell functions were equivalent to concurrent execution. It's just the way we force the results to appear that differs. IO Monad, if you squint, is extremely similar. Continuations are a different way to "store a procedure and state" (like a partially evaluated function in a lazy sense). It's not totally obvious, but it's a lot of fun to think about how these things are all related.