+ traceTc (text "inst env before" <+> pprInstEnv inst_env0) `thenNF_Tc_`
+ traceTc (vcat [text "imp" <+> ppr imported_dfuns,
+ text "hst" <+> ppr hst_dfuns,
+ text "local" <+> hsep (map pprInstInfo local_inst_info),
+ text "gen" <+> hsep (map pprInstInfo generic_inst_info)]) `thenNF_Tc_`