CR-59692 DuplicatInstances Changed Wording & module name and added description for example

Author: Qbxs

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

@@ -8,4 +8,4 @@ introduced: 9.6.1
 For type class coherence, at most one instance may be defined for each type for the same type class.
 
 Identical instances should simply be removed.
-If for the same type diverging instances are required, circumventing this restriction is possible by introducing a `newtype` wrapper.
+If multiple instances for the same type are required, circumventing this restriction is possible by introducing a `newtype` wrapper.

message-index/messages/GHC-59692/divergingInstances/after/DivergingInstances.hs renamed to message-index/messages/GHC-59692/multipleInstances/after/MultipleInstances.hs

@@ -1,4 +1,4 @@
-module DivergingInstances where
+module MultipleInstances where
 
 newtype Sum = Sum { getSum :: Int }
 
@@ -8,4 +8,4 @@ instance Semigroup Sum where
 newtype Product = Product { getProduct :: Int }
 
 instance Semigroup Product where
-    (<>) x y = Product (getProduct x * getProduct y)
+    (<>) x y = Product (getProduct x * getProduct y)

message-index/messages/GHC-59692/divergingInstances/before/DivergingInstances.hs renamed to message-index/messages/GHC-59692/multipleInstances/before/MultipleInstances.hs

@@ -1,4 +1,4 @@
-module DivergingInstances where
+module MultipleInstances where
 
 instance Semigroup Int where
     (<>) = (+)

message-index/messages/GHC-59692/multipleInstances/index.md

@@ -0,0 +1,6 @@
+---
+title: Multiple Instances for Semigroup Int
+---
+
+Different definitiones for `Semigroup Int` are possible.
+If we more than one, we ought to wrap `Int` in a `newtype`.