Feststellen dass neuer Typ nur ein Alias ist

[Der schöne Günther]

Angenommen ich habe eine Typdefinition
type TMyType = type Single; Es ist also kein einfacher Alias wie type TMyType = Single .

Wie kann ich nun, zur Laufzeit, feststellen dass TMyType in Wirklichkeit nichts anderes ist als ein Single? Ich kann ja auch problemlos in eine Single-Variable einen TMyType -Wert reinstecken und es kompiliert.

(Ich lasse meine Motivation dafür absichtlich weg um es nicht unnötig kompliziert zu machen)