diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+* 1.1.1.1 (15 Aug 2022)
+
+    - Test with GHC 9.4
+    - Fix warnings
+
 * 1.1.1.0 (17 May 2022)
 
     - Test with GHC 8.6 through 9.2
diff --git a/Test/Feat/Finite.hs b/Test/Feat/Finite.hs
--- a/Test/Feat/Finite.hs
+++ b/Test/Feat/Finite.hs
@@ -35,7 +35,6 @@
 
 instance Monoid (Finite a) where
   mempty = finEmpty
-  mappend = finUnion
   mconcat xs = Finite
     (sum $ map fCard xs)
     (sumSel $ filter ((>0) . fCard) xs)
diff --git a/testing-feat.cabal b/testing-feat.cabal
--- a/testing-feat.cabal
+++ b/testing-feat.cabal
@@ -1,5 +1,5 @@
 Name:                testing-feat
-Version:             1.1.1.0
+Version:             1.1.1.1
 Synopsis:            Functional Enumeration of Algebraic Types
 Description:         Feat (Functional Enumeration of Algebraic Types) provides
                      enumerations as functions from natural numbers to values
@@ -32,7 +32,7 @@
     examples/lambda-terms/lambdas.hs
     CHANGELOG.md
 Cabal-version:       >=1.10
-tested-with:         GHC ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.2
+tested-with:         GHC ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.4 || ==9.4.1
 
 source-repository head
   type:     git
@@ -53,7 +53,7 @@
     Test.Feat.Class
 
   Build-depends:
-    base >= 4.5 && < 5,
+    base >= 4.11 && < 5,
     QuickCheck > 2 && < 3,
     size-based < 0.2,
     testing-type-modifiers < 0.2