haskell - Template Haskell を使用して任意の式の型を取得することは可能ですか?

Question

式fooを指定すると、トップレベル関数を宣言できます

bar = foo

を具体化して asのfoo型を取得します。Type bar

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

fooの冗長な定義を作成せずに、 の型を取得する直接的な方法はありbarますか? 理想的には type の関数としてExp -> Q Type。