часть отбрасывается и остается то, чего нет в первой + то , чего нет во второй?
Значение типа суммы - это всегда значение типа + метка типа, от этого дизъюнктивное объединение, ибо количество значений для объединения типов A и B всегда равно сумме количества значений обоих типов.
Обсуждают сегодня