map liquid to Ghc TyVars before quiantification