Angesichts eines AusdrucksfooIch könnte eine Top-Level-Funktion deklarieren

bar = foo

und die Art vonfoo wieType durchWiedervereinigung bar:

case reify 'bar of
  VarI _ t _ _ -> t

Gibt es eine direkte Möglichkeit, die Art vonfoo, ohne die redundante Definition vonbar? Idealerweise als typabhängige FunktionExp -> Q Type.