From 19c19f957a7f09272472e37a5ea1faa1ce2989d4 Mon Sep 17 00:00:00 2001
From: Maciej Bielecki <zyla@prati.pl>
Date: Fri, 20 Jun 2025 11:23:35 +0000
Subject: [PATCH] ExternsDiff: Consider all types recursively in instance head
 as dependencies

---
 src/Language/PureScript/Make/ExternsDiff.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Language/PureScript/Make/ExternsDiff.hs b/src/Language/PureScript/Make/ExternsDiff.hs
index 21ef9ab38a..36ca7ea442 100644
--- a/src/Language/PureScript/Make/ExternsDiff.hs
+++ b/src/Language/PureScript/Make/ExternsDiff.hs
@@ -445,7 +445,7 @@ externsDeclarationToRef moduleName = \case
   --
   P.EDInstance cn n args kinds types constraints _ _ _ _ ->
     Just
-      ( TypeInstanceRef n (qualified cn) (mapMaybe myType types)
+      ( TypeInstanceRef n (qualified cn) (foldMap (P.everythingOnTypes (<>) (maybeToList . myType)) types)
       , maybe mempty constraintsDeps constraints <> instanceArgsDeps args <> foldMap typeDeps kinds
       )
   where