tagged union

Also known as variant, variant record, discriminated union, disjoint union, sum type, variant data type

data structure used to hold a value that could take on several different, but fixed, types