skolemiseTyVar :: TyVar -> TyVar
skolemiseTyVar tyvar = mkTcTyVar (tyVarName tyvar) (tyVarKind tyvar)
skolemiseTyVar :: TyVar -> TyVar
skolemiseTyVar tyvar = mkTcTyVar (tyVarName tyvar) (tyVarKind tyvar)
-----------------------------------------------------------------------------
-- show a module and it's source/object filenames
-----------------------------------------------------------------------------
-- show a module and it's source/object filenames