Интересная ситуация, мне нужно 2 юнион ветки отличающиеся только названием ветки(и 1ним типом, но допустим что это не так)

Она бы не произошла в TS тк кк там сами названия веток ADT являются тк сказать фёрст класс ситизенами, то есть обычным полем типа литеральной string. Плюс структурная типизация, изза которой мы создаем объекты типов без конструкторов, тк кк если объект просто имеет нужный набор полей, он сам становится соответствующего типа