[use quantify_n when typing mutually recursive binding groups
John Meacham <john@repetae.net>**20090226061250
 Ignore-this: 5fdbfd9780fd29ae74dfd5330d079a5a
] hunk ./FrontEnd/Tc/Main.hs 592
-        mapM (quantify (Set.toList gs') []) ts'
-     else mapM (quantify (Set.toList gs) rs) ts'
+        quantify_n (Set.toList gs') [] ts'
+     else do
+        when (dump FD.BoxySteps) $ liftIO $ putStrLn $ "*** tiimpls quantify " ++ show (gs,rs,ts')
+        quantify_n (Set.toList gs) rs ts'