-tyvarFVInfo :: TyVarSet -> FreeVarsInfo
-tyvarFVInfo tvs = emptyFVInfo -- Type variables are not recorded
--- Old code recorded free tyvars for when we supported runtime types:
--- foldVarSet add emptyFVInfo tvs
--- where
--- add tv fvs = extendVarEnv fvs tv (tv, LambdaBound, noBinderInfo)
--- -- Type variables must be lambda-bound
-