Update message-index/messages/GHC-25897/index.md

Co-authored-by: David Thrane Christiansen <[email protected]>

Author: tomjaguarpaw

message-index/messages/GHC-25897/index.md

@@ -6,9 +6,8 @@ introduced: 9.6.1
 ---
 
 A pattern match on a GADT cannot succeed unless GHC knows the result
-type of the pattern match, for example because the pattern match has a
-type signature, or because the type of the pattern match can be
-inferred from its context.
+type of the pattern match. This information might, for example, be derived from a type
+signature, or by type inference due to the context in which the pattern match occurs.
 
 To solve the problem you must somehow tell GHC the type of the pattern
 match.  For example, in the below error message GHC suggests giving