zonkKindEnv initial_kinds `thenNF_Tc` \ final_kinds ->
-- Tie the knot
+ traceTc (text "starting" <+> ppr final_kinds) `thenTc_`
fixTc ( \ ~(rec_details_list, _, _) ->
-- Step 4
let
tcSetEnv env $
+ traceTc (text "ready for pass 2" <+> ppr (isRec is_rec)) `thenTc_`
+
-- Step 6
-- For a recursive group, check all the types again,
-- this time with the wimp flag off
returnTc ()
) `thenTc_`
+ traceTc (text "done") `thenTc_`
+
-- Step 7
-- Extend the environment with the final TyCons/Classes
-- and their implicit Ids