diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,6 +8,11 @@
 
 ## Unreleased
 
+
+## 0.1.1.3 - 2025-06-17
+
+- Raise the max bound of QuickCheck. Before: >=2.12 && < 2.16. After: >=2.12 && < 3
+
 ## 0.1.1.2 - 2025-04-16
 
 - Lower the minimum supported GHC version to v8.10.x by removing internal usage of `GHC2021`. ([PR #9](https://github.com/Qqwy/haskell-vary/pull/9)) Thank you, @newhoggy and @carbolymer!
diff --git a/vary.cabal b/vary.cabal
--- a/vary.cabal
+++ b/vary.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           vary
-version:        0.1.1.2
+version:        0.1.1.3
 synopsis:       Vary: Friendly and fast polymorphic variants (open unions/coproducts/extensible sums)
 description:    Vary: Friendly and fast Variant types for Haskell
                 .
@@ -93,7 +93,7 @@
   if flag(quickcheck)
     cpp-options: -DFLAG_QUICKCHECK
     build-depends:
-        QuickCheck >=2.12 && <2.16
+        QuickCheck >=2.12 && <3
 
 test-suite doctests
   type: exitcode-stdio-1.0
@@ -128,7 +128,7 @@
   if flag(quickcheck)
     cpp-options: -DFLAG_QUICKCHECK
     build-depends:
-        QuickCheck >=2.12 && <2.16
+        QuickCheck >=2.12 && <3
 
 test-suite readme
   type: exitcode-stdio-1.0
@@ -165,7 +165,7 @@
   if flag(quickcheck)
     cpp-options: -DFLAG_QUICKCHECK
     build-depends:
-        QuickCheck >=2.12 && <2.16
+        QuickCheck >=2.12 && <3
 
 test-suite vary-test
   type: exitcode-stdio-1.0
@@ -205,4 +205,4 @@
   if flag(quickcheck)
     cpp-options: -DFLAG_QUICKCHECK
     build-depends:
-        QuickCheck >=2.12 && <2.16
+        QuickCheck >=2.12 && <3