What if TypeScript was right about union types?

In TypeScript I only have interfaces and union types. I never have generics except with arrays and that’s only because TypeScript makes me.

As a result, older versions of the TSC checker would take up to 13 seconds on my largest project (greater than 50k loc) on old hardware. Type systems are not meant to be programming languages.