What if TypeScript was right about union types?