7 tadan 1-dars

What makes a union of object types a discriminated union?