diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md
index d3a96c95..af37b9aa 100644
--- a/singletons-base/CHANGES.md
+++ b/singletons-base/CHANGES.md
@@ -69,6 +69,11 @@ next [????.??.??]
   (e.g., `AsumSym0` and `MSym0`) are less polymorphic. The fact that these were
   kind-polymorphic to begin with was an oversight, as these definitions could
   not be used when `j` or `k` was instantiated to any other kind besides `Type`.
+* Define hand-written `Sing` instances such that they explicitly match on their
+  types on the left-hand sides (e.g., define `type instance Sing @Symbol =
+  SSymbol` instead of `type instance Sing = SSymbol`. Doing so will make
+  `singletons-base` future-proof once
+  [GHC#23515](https://gitlab.haskell.org/ghc/ghc/-/issues/23515) is fixed.
 
 3.4 [2024.05.12]
 ----------------
diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md
index 59286eb7..731fd944 100644
--- a/singletons/CHANGES.md
+++ b/singletons/CHANGES.md
@@ -1,6 +1,14 @@
 Changelog for the `singletons` project
 ======================================
 
+next [????.??.??]
+-----------------
+* Define `Sing` instances such that they explicitly match on their types on the
+  left-hand sides (e.g., define `type instance Sing @(k1 ~> k2) = SLambda`
+  instead of `type instance Sing = SLambda`. Doing so will make `singletons`
+  future-proof once
+  [GHC#23515](https://gitlab.haskell.org/ghc/ghc/-/issues/23515) is fixed.
+
 3.0.3 [2024.05.12]
 ------------------
 * Allow building with GHC 9.10.