I'm not entirely convinced that async annotations can't be completely elided. I think that any call stack that touches a sync/async API could have the decision

I'm not entirely convinced that async annotations can't be completely elided. I think that any call stack that touches a sync/async API could have the decision of which to use bubbled up to a top level function via generics.