diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -63,3 +63,8 @@
 
 * Seventh version. Switched to NoImplicitPrelude extension. Changed the names of the modules. Updated the dependencies boundaries.
 
+## 0.7.1.0 -- 2023-06-24
+
+* Seventh version revised A. Fixed constraints in the function declarations so that the code can
+  successfully be compiled for GHC-9.6.2 compiler.
+
diff --git a/Phladiprelio/DataG.hs b/Phladiprelio/DataG.hs
--- a/Phladiprelio/DataG.hs
+++ b/Phladiprelio/DataG.hs
@@ -99,7 +99,7 @@
 {-# NOINLINE maximumGroupsClassification1 #-}
 
 maximumGroupsClassificationR2
-  :: (InsertLeft t2 (Result t a b c), Monoid (t2 (Result t a b c)), Ord c, InsertLeft t2 c, Monoid (t2 c), Integral d) => d
+  :: (Eq a, Eq b, Eq (t a), InsertLeft t2 (Result t a b c), Monoid (t2 (Result t a b c)), Ord c, InsertLeft t2 c, Monoid (t2 c), Integral d) => d
   -> (t2 (Result t a b c), t2 (Result t a b c))
   -> (t2 (Result t a b c), t2 (Result t a b c))
 maximumGroupsClassificationR2 !nGroups (dataT,dataF)
@@ -110,7 +110,7 @@
 {-# NOINLINE maximumGroupsClassificationR2 #-}
 
 maximumGroupsClassificationR
-  :: (InsertLeft t2 (Result t a b c), Monoid (t2 (Result t a b c)), InsertLeft t2 c, Monoid (t2 c), Ord c, Integral d) => d
+  :: (Eq a, Eq b, Eq (t a), InsertLeft t2 (Result t a b c), Monoid (t2 (Result t a b c)), InsertLeft t2 c, Monoid (t2 c), Ord c, Integral d) => d
   -> t2 (Result t a b c)
   -> (t2 (Result t a b c), t2 (Result t a b c))
 maximumGroupsClassificationR !nGroups dataR
@@ -229,7 +229,7 @@
 {-# NOINLINE maximumGroupsClassification12 #-}
 
 maximumGroupsClassificationR2_2
-  :: (InsertLeft t2 (Result2 a b c), Monoid (t2 (Result2 a b c)), Ord c, InsertLeft t2 c, Monoid (t2 c), Integral d) => d
+  :: (Eq a, Eq b, InsertLeft t2 (Result2 a b c), Monoid (t2 (Result2 a b c)), Ord c, InsertLeft t2 c, Monoid (t2 c), Integral d) => d
   -> (t2 (Result2 a b c), t2 (Result2 a b c))
   -> (t2 (Result2 a b c), t2 (Result2 a b c))
 maximumGroupsClassificationR2_2 !nGroups (dataT,dataF)
@@ -240,7 +240,7 @@
 {-# NOINLINE maximumGroupsClassificationR2_2 #-}
 
 maximumGroupsClassificationR_2
-  :: (InsertLeft t2 (Result2 a b c), Monoid (t2 (Result2 a b c)), InsertLeft t2 c, Monoid (t2 c), Ord c, Integral d) => d
+  :: (Eq a, Eq b, InsertLeft t2 (Result2 a b c), Monoid (t2 (Result2 a b c)), InsertLeft t2 c, Monoid (t2 c), Ord c, Integral d) => d
   -> t2 (Result2 a b c)
   -> (t2 (Result2 a b c), t2 (Result2 a b c))
 maximumGroupsClassificationR_2 !nGroups dataR
diff --git a/phonetic-languages-simplified-base.cabal b/phonetic-languages-simplified-base.cabal
--- a/phonetic-languages-simplified-base.cabal
+++ b/phonetic-languages-simplified-base.cabal
@@ -3,7 +3,7 @@
 -- http://haskell.org/cabal/users-guide/
 
 name:                phonetic-languages-simplified-base
-version:             0.7.0.0
+version:             0.7.1.0
 synopsis:            A basics of the phonetic-languages functionality that can be groupped.
 description:         The  common for different realizations functionality. Just the necessary one.
 homepage:            https://hackage.haskell.org/package/phonetic-languages-simlified-base