そもそも
throws -> Int や async -> Int じゃなく -> throws Int や -> async Int として型扱いにするのが良かったんじゃないかなぁ。そうすれば let a: async Int はすごく自然だったし、 await しないまま持ち運ぶのも自然だった。