A tagged union (also called variant, variant record, discriminated union, or disjoint union) contains an additional field indicating its current type, for enhanced type safety.
Η ένωση με ετικέτα (γνωστή και ως παραλλαγή (variant), παραλλαγμένη εγγραφή (variant record), διακεκριμένη ένωση (discriminated union), ή διαχωρισμένη ένωση (disjoint union)) περιέχει ένα επιπλέον πεδίο το οποίο υποδεικνύει τον τρέχοντα τύπο, για περισσότερη ασφάλεια τύπων.