Union type
Typ som kan vara en av flera: string | number | null.
TypeScript, Python (med | i 3.10+), Rust (som enum-variant), Swift. Tvingar fram exhaustive checks i kompilator. Discriminated union = union där varje variant har ett tag-fält — gör pattern matching säkert. Hjärtat i "type-safe state machines".