returnTc (lie2, dict_binds `AndMonoBinds` inst_binds)
where
- doc = text ("the existential context of a data constructor")
+ doc = text ("existential context of a data constructor")
tv_list = bagToList ex_tvs
not_overloaded id = not (isOverloadedTy (idType id))
\end{code}