C: union, Pascal: record ...case ...of ...end;
Falls A, B,... Einermengen: T ist Aufzählungstyp
Beispiel enum boolean { false, true }
Zugriff: Fallunterscheidung
,,moderne`` Implementierung über Schnittstellen:
Interface repräsentiert disjunkte Summe aller Typen, die es implementieren