Make suggested changes to GHC-09646 docs

Author: TauOmicronMu

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

@@ -5,7 +5,7 @@ severity: error
 introduced: 9.6.1
 ---
 
-Pattern matching allows constructors and literals to be used to take apart values, exposing their contents. The syntax of patterns is very similar to that of the expressions that create values, but many constructs that are allowed in expression contexts are not meaningful patterns. 
+[Tuple sections](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/tuple_sections.html) are a concise syntax for functions that result in tuples. The missing expressions in the tuple become arguments to the function. Because tuple sections always result in functions, and functions cannot be matched in patterns, tuple sections are not allowed in patterns.
 
 ## Example Text
 

message-index/messages/GHC-09646/snd/index.md

@@ -2,7 +2,7 @@
 title: Using tuple section in pattern
 ---
 
-When pattern matching, tuple sections are not allowed as patterns to be matched against. In the example below, we can fix this by adding the wildcard _ to match on the first element of the pair.  
+When pattern matching, tuple sections are not allowed as patterns to be matched against. In the example below, one of the components of a tuple pattern was forgotten. We can fix this by adding the wildcard _ to match on the first element of the pair. 
 
 #  Error Message