I think this is a cool idea. Certainly adding these annotations shouldn't hurt us, so why don't we add them and see how things go? :)
In general I love the effect system and would like to see it expanded plus used more. I would also like to add a `BlockingIO` effect that async can forbid.
