import TcSimplify ( tcSimplifyCheckThetas )
import TysWiredIn ( integerTy, doubleTy )
-import Type ( Type )
+import Type ( Type, mkClassPred )
import PrelNames ( numClassName )
import Outputable
import HscTypes ( TyThing(..) )
tcAddErrCtxt defaultDeclCtxt $
tcSimplifyCheckThetas
[{- Nothing given -}]
- [ (num_class, [ty]) | ty <- tau_tys ] `thenTc_`
+ [ mkClassPred num_class [ty] | ty <- tau_tys ] `thenTc_`
returnTc tau_tys