Что такое discriminated union (размеченное объединение)?

Discriminated union (размеченное объединение) — это union тип, в котором каждый вариант содержит общее свойство-дискриминант с уникальным литеральным значением. TypeScript использует это свойство для сужения типа (narrowing): проверив значение дискриминанта, компилятор точно знает, какой из вариантов перед ним, и даёт доступ к соответствующим полям. Это основа паттерна «безопасного моделирования состояний».