> My takeaway from this is that first-class cancellation tokens are the right approach, but languages need some kind of syntactic sugar to eliminate, or at least reduce, the verbiage for the most common case of propagating it around.
That is also my perspective, but I think the syntactic sugar cannot have much more overhead than `async function`.