Apply suggestions from code review

Author: BinderDavid

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

@@ -2,5 +2,5 @@
 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`.
+It is not possible to give two definitions for `Semigroup Int`, one for the semigroup given by addition and one for the semigroup given by multiplication.
+If we require both instances, then we should define two `newtype` wrappers for `Int`.