Union Types in Rust with Type-Level Lists