tl;dr

> language and compiler capable of rewriting normal control flow into a state machine implementation of coroutines