%************************************************************************
\begin{code}
-type DFunId = Id
data Instance
= Instance { is_cls :: Name -- Class name
\begin{code}
instanceBindFun :: TyVar -> BindFlag
instanceBindFun tv | isTcTyVar tv && isExistentialTyVar tv = Skolem
- | otherwise = BindMe
+ | otherwise = BindMe
-- Note [Binding when looking up instances]
\end{code}