Enforcing Disjoint Unions with TypeScript Conditional Types

Enforcing Disjoint Unions with TypeScript Conditional Types

More to explore