-tcRecordBinds expected_record_ty rbinds
- = tcLookupValue first_field_lbl_name `thenNF_Tc` \ first_sel_id ->
- let
- tycon = fieldLabelTyCon (recordSelectorFieldLabel first_sel_id)
- in
- tcInstTyVars (tyConTyVars tycon) `thenTc` \ (_, arg_tys, tenv) ->
- unifyTauTy expected_record_ty
- (mkTyConApp tycon arg_tys) `thenTc_`
- mapAndUnzipTc (do_bind tycon tenv) rbinds `thenTc` \ (rbinds', lies) ->
+tcRecordBinds tycon ty_args rbinds
+ = mapAndUnzipTc do_bind rbinds `thenTc` \ (rbinds', lies) ->