Better ways to describe polymorphism, a better type system in general really. Look to async Rust for a great example of such interoperability.