Что такое Union Types?

Union type — это тип, который может быть одним из нескольких типов: string | number значит «либо строка, либо число». Объявляется через оператор |. Очень полезны для описания вариантов: type Status = "loading" | "success" | "error". TypeScript заставляет обработать все варианты, что снижает количество багов. Для сужения типа в рантайме используются type guards: typeof, instanceof, in, или discriminated unions (объекты с общим полем-дискриминатором типа type или kind).