-import Type ( mkTyVarTy, mkSigmaTy, TyVarTemplate,
- splitSigmaTy, splitTyArgs,
- glueTyArgs, instantiateTy, TauType(..),
- Class, ThetaType(..), SigmaType(..),
+import Type ( mkTyVarTy, mkSigmaTy,
+ splitSigmaTy, splitFunTys,
+ glueTyArgs, substTy,