Example identifier fix

Author: david-christiansen

message-index/messages/GHC-25897/example1/after/Example2.hs

@@ -19,7 +19,7 @@ type family G a where
 -- result type of the pattern match
 -- is known, from the type signature,
 -- to be 'G x'
-foo3 :: F x -> G x
-foo3 = \case
+foo :: F x -> G x
+foo = \case
   FA -> True
   FB -> False