- tcLookupId neg `thenNF_Tc` \ neg_sel_id ->
- newMethod origin neg_sel_id [pat_ty] `thenNF_Tc` \ neg ->
- returnNF_Tc (HsApp (HsVar (instToId neg)) pos_lit_expr, unitLIE neg)
+ tcSyntaxName origin pat_ty negateName neg `thenTc` \ (neg_expr, neg_lie, _) ->
+ returnNF_Tc (HsApp neg_expr pos_lit_expr, neg_lie)