Notation for writing concurrent code without needing cumbersome callbacks/etc. as required by promises etc. Generally this can be subsumed by do notation in languages with more general effect systems/monad support.