What makes a union of object types a discriminated union?