Generics Struktur-/Typen-Problem

[hzzm]

Mit anderen Worten: Ich suche die Delphi-Syntax, die aussagt:
Variable kann genau von Typ X oder von Typ Y sein.

Diese Funktionalitaet hatte ich mir urspruenglich von meinem Split-Konzept "TBall oder TKartoffel", oder von Generics insgesamt erhofft.
Ich scheitere nur gerade daran, das durchzupruegeln... es laeuft immer darauf raus, am Ende doch Typen-Weichen bauen zu muessen, oder?