[Template-haskell] Type inference

Hello, I have the following problem. I'd like to infer types of local bindings using 'reify': ------------------------------------ testValue = let a = 10 in $(do VarI _ t _ _ <- reify 'a lift (pprint t) ) ------------------------------------- But this code prints only: ------------------------------------- *Debug> testValue "t_0" ------------------------------------- Is this intended behavior? Are there any workarounds? Things work fine if symbol is defined in another module. I do realise that in general $(...) may add additional constraints on local variables. OM