Хороший вопрос! Типизация в TS структурная. Сами объединения в TS - untagged, хотя можно уточнить принадлежность к типу. А вообще провести параллели между типом-суммой и типом-произведением с объединением и пересечением в TS - неплохая тема для отдельного поста.
Спасибо, да пример возможно избыточный, чуть сократил его.
Хороший вопрос! Типизация в TS структурная. Сами объединения в TS - untagged, хотя можно уточнить принадлежность к типу. А вообще провести параллели между типом-суммой и типом-произведением с объединением и пересечением в TS - неплохая тема для отдельного поста.