[Haskell-cafe] GHC, names of inferred type variables

Hi, Error messages from GHC contain inferred type variables, is there anyway to find out which term an inferred type variable is for(if the term exists)? Thanks, Shiqi