-import TyCon ( TyCon, isSynTyCon, tyConDerivings )
-import Type ( mkTyVarTys, splitSigmaTy, isTyVarTy,
- splitTyConApp_maybe, splitDictTy_maybe,
- splitAlgTyConApp_maybe, classesToPreds, classesOfPreds,
- unUsgTy, tyVarsOfTypes, mkClassPred, mkTyVarTy,
+import TyCon ( TyCon, isSynTyCon )
+import Type ( splitDFunTy, isTyVarTy,
+ splitTyConApp_maybe, splitDictTy,
+ splitForAllTys,
+ tyVarsOfTypes, mkClassPred, mkTyVarTy,