isEmptyTvSubst :: TvSubst -> Bool
         -- See Note [Extending the TvSubstEnv] in TypeRep
isEmptyTvSubst (TvSubst _ tenv) = isEmptyVarEnv tenv
isEmptyTvSubst :: TvSubst -> Bool
isEmptyTvSubst (TvSubst _ tenv) = isEmptyVarEnv tenv
isEmptyTvSubst (TvSubst _ tenv) = isEmptyVarEnv tenv