Can we reduce the burden of cancel-correctness for async Futures?

[tesuji]

Also see a post from withoutboats Async/Await - The challenges besides syntax - Cancellation