Что такое Union тип в TypeScript?

Union A | B означает, что значение соответствует одному из перечисленных типов.

Например, string | number допускает строку или число. Перед операцией, доступной только одной ветви, тип сужают через typeof, discriminant или другой guard. Union объединяет возможные значения, а не автоматически складывает все свойства объектов.