Deleted try-trait-v2 rfc tweet around async.await and monads

help
1

So I was studying try-trait-v2, and while I (think I) have grasped the benefits of the design, e.g. that Option and Result are better separated, type inference is still easy, and that third-party error types may now actually implement std::error::Error since it's the residual type and from_residual that have to worry about conversion instead of always sneaking in a From::from inside the ? desugar for results, I'm stumped when the author mentions monads and referenced a missing tweet (Internet Archive didn't seem to have cached that, either) link. I mean async, ok, I knew boats have worked on that (and also Pin), but what's the monad view and in particular how it's related to try-trait-v2 here?

However, like boats described for async.await, using monads directly isn't a great fit for rust. ? desugaring to a return (rather than closures) mixes better with the other control flow constructs, such as break and continue, that don't work through closures. And while the definitions above work fine for Option, they don't allow the error-conversion that's already stable with Result, so any monad-based implementation of ? wouldn't be able to be the normal monad structure regardless.

I'm wondering if the content is actually readily available in other boats's posts?