Big tidy-up of deriving code
[ghc-hetmet.git] / compiler / typecheck / TcExpr.lhs
index 960304b..0ac873e 100644 (file)
@@ -749,7 +749,7 @@ instFun orig fun subst tv_theta_prs
        ; go True fun ty_theta_prs' }
   where
     subst_pr (tvs, theta) 
-       = (map (substTyVar subst) tvs, substTheta subst theta)
+       = (substTyVars subst tvs, substTheta subst theta)
 
     go _ fun [] = return fun