Что такое union type (объединение типов) и как он работает?

Union type -- это тип, который означает "одно из". Записывается через оператор | (вертикальная черта): string | number значит, что значение может быть либо строкой, либо числом. Прежде чем работать с union-значением, TypeScript заставляет тебя сузить тип (type narrowing) -- проверить, какой именно тип пришёл.