; (top_dm_id, bind) <- tcInstanceMethodBody rigid_info
clas tyvars [this_dict] theta (mkTyVarTys tyvars)
Nothing sel_id
; (top_dm_id, bind) <- tcInstanceMethodBody rigid_info
clas tyvars [this_dict] theta (mkTyVarTys tyvars)
Nothing sel_id
\begin{code}
mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name)
mkGenericDefMethBind clas inst_tys sel_id meth_name
\begin{code}
mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name)
mkGenericDefMethBind clas inst_tys sel_id meth_name