“Samuel Colvin predicts Python will eventually need a new union type that operates like a Rust enum, allowing runtime tracking of which member of the union an instance represents.”