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

Author: BinderDavid

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

@@ -2,5 +2,5 @@
 title: Multiple Instances for Semigroup Int
 ---
 
-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.
+Haskell does not allow to give more than one definition of `Semigroup Int`, even though we might want to provide both an instance for the semigroup given by multiplication and the semigroup given by addition.
 If we require both instances, then we should define two `newtype` wrappers for `Int`.