diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,4 +14,8 @@
 
 ### 0.3.0.1 -- 2023-09-29
 
-* Broadening range of text bounds.
+* Broadening range of text bounds.
+
+### 0.4.0.0 -- 2023-09-29
+
+* Broadening range of base bounds.
diff --git a/FiniteCategories.cabal b/FiniteCategories.cabal
--- a/FiniteCategories.cabal
+++ b/FiniteCategories.cabal
@@ -14,7 +14,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:            0.3.0.1
+version:            0.4.0.0
 
 -- A short (one-line) description of the package.
 synopsis: Finite categories and usual categorical constructions on them.
@@ -125,7 +125,7 @@
     other-extensions: MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, FlexibleInstances
 
     -- Other library packages from which modules are imported.
-    build-depends:      base             >= 4.18.0.0 && < 4.19,
+    build-depends:      base             >= 4.16.0.0 && < 4.19,
                         random           >= 1.2.1 && < 1.3,
                         WeakSets         >= 1.4.0.1 && < 1.4.0.2,
                         containers       >= 0.6.6.0 && < 0.7,
@@ -155,7 +155,7 @@
 
     -- Test dependencies.
     build-depends:      FiniteCategories,
-                        base             >=4.18.0.0 && < 4.19,
+                        base             >=4.16.0.0 && < 4.19,
                         random           >= 1.2.1 && < 1.3,
                         WeakSets         >= 1.4.0.1 && < 1.4.0.2,
                         containers       >= 0.6.6.0 && < 0.7,