Возможно, имелись в виду типы объединения (также известные как типы сумм, варианты или типы выбора) в программировании. 1

В информатике объединение (англ. union) — это значение или структура данных, которая может иметь несколько различных представлений. 2

В зависимости от языка программирования и его типизации, существуют разные виды объединений:

• В сильно типизированных языках тип объединение соответствует понятию «тип-сумма» из теории типов. 2 Для значений разных типов нужно использовать разные конструкторы. 2
• В слабо типизированных языках, таких как C и C++, тип объединение реализует «каламбур типизации» — обеспечивает интерпретацию одного и того же значения в соответствии с разными типами. 2

Ещё есть понятие «анонимного объединения» — такого типа объединений, в котором нет имени. 5