The key part with the "monad" bit at the end is we have monad polymoirphism allready, e.g.. foo :: Monad m => m () in Haskell. If that goes to rust, maybe we

The key part with the "monad" bit at the end is we have monad polymoirphism allready, e.g.. foo :: Monad m => m () in Haskell. If that goes to rust, maybe we can have "async polymorphism". This, and the far more easier "mut polymorphism" (no more as as_mut boilerplate) means we get best of both worlds: color and code reuse!