-- We only care about whether it worked or not
tcLookupClassByKey numClassKey `thenNF_Tc` \ num ->
- tcSimplifyCheckThetas DefaultDeclOrigin
- [ (num, ty) | ty <- tau_tys ] `thenTc` \ _ ->
+ tcSimplifyCheckThetas
+ [ (num, ty) | ty <- tau_tys ] `thenTc_`
returnTc tau_tys