@@ -333,7 +333,9 @@ checkConstructor ist (n : ns) =
334 conIndexed t = let (_, args) = unApply (getRetTy t) in
334 conIndexed t = let (_, args) = unApply (getRetTy t) in
335 any conHead args
335 any conHead args
336− conHead t | (P _ n _, _) <- unApply t = isConName n (tt_ctxt ist)
336+ conHead t | (P _ n _, _) <- unApply t = case lookupDefExact n (tt_ctxt ist) of
337 | otherwise = False
339 | otherwise = False
339-- | Resolve type classes. This will only pick up 'normal' instances, never
341-- | Resolve type classes. This will only pick up 'normal' instances, never