Типы объединения — это набор из двух или более типов, которые указывают, что любой из них может быть использован.