@@ -90,7 +90,9 @@ elabInstance info syn doc argDocs what fc cs n ps t expn ds = do
9090 PApp _ _ args -> getWParams (map getTm args)
9191 a@(PRef fc f) -> getWParams [a]
9292 _ -> return []) ps
93− let pnames = map pname (concat (nub wparams))
93+ ist <- getIState
94+ let pnames = nub $ map pname (concat (nub wparams)) ++
95+ concatMap (namesIn [] ist) ps
9496 let superclassInstances = map (substInstance ips pnames) (class_default_superclasses ci)
9597 undefinedSuperclassInstances <- filterM (fmap not . isOverlapping i) superclassInstances
9698 mapM_ (rec_elabDecl info EAll info) undefinedSuperclassInstances
@@ -119,7 +121,6 @@ elabInstance info syn doc argDocs what fc cs n ps t expn ds = do
119121 show (concat (nub wparams))
120122
121123 -- Bring variables in instance head into scope
122− ist <- getIState
123124 let headVars = nub $ mapMaybe (\p -> case p of
124125 PRef _ n ->
125126 case lookupTy n (tt_ctxt ist) of