Discriminated Unions

Model mutually exclusive states by combining union types with a shared discriminant field. The TypeScript pattern for exhaustive type narrowing — eliminates entire classes of runtime bugs.