diff --git a/message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs b/message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs
new file mode 100644
index 00000000..d3a27f1d
--- /dev/null
+++ b/message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE Haskell2010 #-}
+{-# LANGUAGE ExplicitForAll #-}
+
+module Illegal_explicit_forall where
+
+foo :: forall a. a
+foo = foo
diff --git a/message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs b/message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs
new file mode 100644
index 00000000..902349df
--- /dev/null
+++ b/message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE Haskell2010 #-}
+
+module Illegal_explicit_forall where
+
+foo :: forall a. a
+foo = foo
diff --git a/message-index/messages/GHC-25955/illegal_explicit_forall/index.md b/message-index/messages/GHC-25955/illegal_explicit_forall/index.md
new file mode 100644
index 00000000..fe58c70c
--- /dev/null
+++ b/message-index/messages/GHC-25955/illegal_explicit_forall/index.md
@@ -0,0 +1,3 @@
+---
+title: ExplicitForAll without the relevant extension enabled
+---
diff --git a/message-index/messages/GHC-25955/index.md b/message-index/messages/GHC-25955/index.md
new file mode 100644
index 00000000..bb9e7af8
--- /dev/null
+++ b/message-index/messages/GHC-25955/index.md
@@ -0,0 +1,19 @@
+---
+title: Illegal forall in type
+summary: The 'forall' keyword was used in a type without the 'ExplicitForAll' extension enabled
+severity: error
+introduced: 9.6.1
+---
+
+## Error Message
+```
+Illegal symbol ‘forall’ in type
+    Suggested fix:
+      Use the ‘ExplicitForAll’ extension (implied by ‘RankNTypes’,
+                                                     ‘QuantifiedConstraints’, ‘ScopedTypeVariables’,
+                                                     ‘LiberalTypeSynonyms’ and ‘ExistentialQuantification’)
+      to enable syntax: forall <tvs>. <type>
+  |
+3 | foo :: forall a. a
+  |        ^^^^^^
+```