discriminated union

Розмічене об'єднання (типів даних)