Explain 'Discriminated Unions' and Exhaustive Checking.

It uses the 'never' type to ensure every member of a union is handled in a switch or if statement[cite: 1].

By assigning the remaining variable to never in a default case, the compiler throws an error if a union member is unhandled. This ensures 100% logic coverage at compile-time[cite: 1].