| otherwise -- OK, use the big hammer
= -- Deal with the big lambda part
- simplTyBinders env tyvars `thenSmpl` \ (lam_env, tyvars') ->
+ simplTyBinders rhs_env tyvars `thenSmpl` \ (lam_env, tyvars') ->
let
body_ty = applyTys rhs_ty (mkTyVarTys tyvars')
in