I think it’s incredibly useful today to have both of these annotations. I frequently scan for all instances of `?` or `.await` in functions (though, unfortunat

I think it’s incredibly useful today to have both of these annotations. I frequently scan for all instances of `?` or `.await` in functions (though, unfortunately, for various reasons this won’t show you everywhere these effects are produced). I would rather not have to rely on an IDE to get that functionality.