import Generics
import Class
import TyCon
-import Type
import MkId
import Id
import Name
import Var
import NameEnv
import NameSet
-import OccName
import RdrName
import Outputable
import PrelNames
import DynFlags
import ErrUtils
import Util
-import Unique
import ListSetOps
import SrcLoc
import Maybes
-import List
import BasicTypes
import Bag
import FastString
import Control.Monad
+import Data.List
\end{code}
dfun_id = mkDictFunId dfun_name tyvars inst_theta clas [inst_ty]
ispec = mkLocalInstance dfun_id overlap_flag
- return (InstInfo { iSpec = ispec, iBinds = VanillaInst binds [] })
+ return (InstInfo { iSpec = ispec, iBinds = VanillaInst binds [] False })
\end{code}