- mappM zonkQuantifiedTyVar forall_tvs1 `thenM` \ forall_tvs2 ->
- -- This zonk is exactly the same as the one in TcBinds.tcBindWithSigs
+ zonkQuantifiedTyVars forall_tvs1 `thenM` \ forall_tvs2 ->
+ -- This zonk is exactly the same as the one in TcBinds.generalise