@@ -246,9 +246,9 @@ typeCheckAll mainModuleName moduleName exps ds = mapM go ds <* mapM_ checkOrphan
246246 where
247247
248248 checkOrphanInstance :: ModuleName -> Qualified ProperName -> [Type] -> Check ()
249− checkOrphanInstance mn (Qualified (Just mn') _) tys
250− | mn == mn' || any checkType tys = return ()
251− | otherwise = throwError . errorMessage $ OrphanInstance dictName className tys
249+ checkOrphanInstance mn (Qualified (Just mn') _) tys'
250+ | mn == mn' || any checkType tys' = return ()
251+ | otherwise = throwError . errorMessage $ OrphanInstance dictName className tys'
252252 where
253253 checkType :: Type -> Bool
254254 checkType (TypeVar _) = False