- -- Add the binding for this_dict, if we have one
- ; ev_binds' <- case this_dict of
- Nothing -> return ev_binds
- Just (EvBind self rhs) -> extendTcEvBinds ev_binds self rhs
-
- ; let full_bind = AbsBinds { abs_tvs = tyvars, abs_ev_vars = dfun_ev_vars