A while back I sketched out a version of do notation using a function that used try/catch under the hood.
In addition to the async overhead I also ran into this limitation: Parametric polymorphism and async
1 Like