> The C and Rust union types are extremely sharp blades

Sure, but the comparable Rust feature is enum, not union.