It's not quite that cut and dry. As soon as you have more than one thing with this sugar, you get composition issues—is () throws async -> () a Result> or a Future>? More likely what you want when you're inside the context is to have a set of "effects" rather than a nesting...