diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 0.1.0.2
+
+- Added support for GHC `9.14`.
+- Revised version bounds of dependencies.
+
 # 0.1.0.1
 
 - Revised version bounds of dependencies.
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -186,7 +186,7 @@
       same "printed page" as the copyright notice for easier
       identification within third-party archives.
 
-   Copyright © 2022–2025 Jonathan Knowles
+   Copyright © 2022–2026 Jonathan Knowles
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,1 +1,10 @@
+# `monoidmap-internal`
+
+[![Latest Release](
+  https://img.shields.io/hackage/v/monoidmap-internal?label=Latest%20Release&color=227755
+)](https://hackage.haskell.org/package/monoidmap-internal)
+[![Development Branch](
+  https://img.shields.io/badge/Development%20Branch-API%20Documentation-225577
+)](https://jonathanknowles.github.io/monoidmap-internal/)
+
 Internal support for the [`monoidmap`](https://github.com/jonathanknowles/monoidmap) package.
diff --git a/components/monoidmap-benchmark/Main.hs b/components/monoidmap-benchmark/Main.hs
--- a/components/monoidmap-benchmark/Main.hs
+++ b/components/monoidmap-benchmark/Main.hs
@@ -1,5 +1,5 @@
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 -- Benchmark for the `MonoidMap` type.
diff --git a/components/monoidmap-internal/Data/MonoidMap/Internal.hs b/components/monoidmap-internal/Data/MonoidMap/Internal.hs
--- a/components/monoidmap-internal/Data/MonoidMap/Internal.hs
+++ b/components/monoidmap-internal/Data/MonoidMap/Internal.hs
@@ -6,7 +6,7 @@
 {- HLINT ignore "Redundant bracket" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 -- Provides /internal/ operations for the 'MonoidMap' type.
diff --git a/components/monoidmap-internal/Data/MonoidMap/Internal/RecoveredMap.hs b/components/monoidmap-internal/Data/MonoidMap/Internal/RecoveredMap.hs
--- a/components/monoidmap-internal/Data/MonoidMap/Internal/RecoveredMap.hs
+++ b/components/monoidmap-internal/Data/MonoidMap/Internal/RecoveredMap.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 -- An ordinary left-biased map similar to 'Map', implemented in terms of
diff --git a/components/monoidmap-internal/Data/MonoidMap/Internal/Unsafe.hs b/components/monoidmap-internal/Data/MonoidMap/Internal/Unsafe.hs
--- a/components/monoidmap-internal/Data/MonoidMap/Internal/Unsafe.hs
+++ b/components/monoidmap-internal/Data/MonoidMap/Internal/Unsafe.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -fno-warn-unused-imports #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 -- Provides /unsafe/ operations for the 'MonoidMap' type.
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/AccessSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/AccessSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/AccessSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/AccessSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.AccessSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/ClassSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/ClassSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/ClassSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/ClassSpec.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.ClassSpec
@@ -40,8 +40,8 @@
     )
 import Test.QuickCheck.Classes.Group
     ( groupLaws )
-import Test.QuickCheck.Classes.Hspec
-    ( testLawsMany )
+import Test.Hspec.QuickCheck.Classes
+    ( testLaws )
 import Test.QuickCheck.Classes.Monoid.GCD
     ( distributiveGCDMonoidLaws
     , gcdMonoidLaws
@@ -89,7 +89,7 @@
 specLawsFor keyType = do
     let description = "Class laws for key type " <> show (typeRep keyType)
     describe description $ do
-        testLawsMany @(MonoidMap k String)
+        testLaws @(MonoidMap k String)
             [ eqLaws
             , isListLaws
             , leftCancellativeLaws
@@ -108,7 +108,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Product Integer))
+        testLaws @(MonoidMap k (Product Integer))
             [ commutativeLaws
             , eqLaws
             , isListLaws
@@ -121,7 +121,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Product Natural))
+        testLaws @(MonoidMap k (Product Natural))
             [ commutativeLaws
             , distributiveGCDMonoidLaws
             , distributiveLCMMonoidLaws
@@ -148,7 +148,7 @@
         -- Here we restrict the generator and shrinker so that they can never
         -- produce zero values, to avoid running into cases of ArithException
         -- caused by operations that may produce zero demoninators:
-        testLawsMany @(MonoidMap k (NonZero (Product Rational)))
+        testLaws @(MonoidMap k (NonZero (Product Rational)))
             [ commutativeLaws
             , eqLaws
             , groupLaws
@@ -159,7 +159,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Sum Integer))
+        testLaws @(MonoidMap k (Sum Integer))
             [ cancellativeLaws
             , commutativeLaws
             , eqLaws
@@ -176,7 +176,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Sum Natural))
+        testLaws @(MonoidMap k (Sum Natural))
             [ cancellativeLaws
             , commutativeLaws
             , distributiveGCDMonoidLaws
@@ -203,7 +203,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Set ()))
+        testLaws @(MonoidMap k (Set ()))
             [ commutativeLaws
             , distributiveGCDMonoidLaws
             , distributiveLCMMonoidLaws
@@ -227,7 +227,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Set k))
+        testLaws @(MonoidMap k (Set k))
             [ commutativeLaws
             , distributiveGCDMonoidLaws
             , distributiveLCMMonoidLaws
@@ -251,7 +251,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Set Ordering))
+        testLaws @(MonoidMap k (Set Ordering))
             [ commutativeLaws
             , distributiveGCDMonoidLaws
             , distributiveLCMMonoidLaws
@@ -275,7 +275,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (Set Int))
+        testLaws @(MonoidMap k (Set Int))
             [ commutativeLaws
             , distributiveGCDMonoidLaws
             , distributiveLCMMonoidLaws
@@ -299,7 +299,7 @@
             , semigroupMonoidLaws
             , showReadLaws
             ]
-        testLawsMany @(MonoidMap k (MonoidMap k (Sum Natural)))
+        testLaws @(MonoidMap k (MonoidMap k (Sum Natural)))
             [ cancellativeLaws
             , commutativeLaws
             , distributiveGCDMonoidLaws
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/ComparisonSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/ComparisonSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/ComparisonSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/ComparisonSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.ComparisonSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/ConversionSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/ConversionSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/ConversionSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/ConversionSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.ConversionSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/DistributivitySpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/DistributivitySpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/DistributivitySpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/DistributivitySpec.hs
@@ -4,7 +4,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.DistributivitySpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/ExampleSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/ExampleSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/ExampleSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/ExampleSpec.hs
@@ -7,7 +7,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.ExampleSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/FilterSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/FilterSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/FilterSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/FilterSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.FilterSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/FoldSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/FoldSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/FoldSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/FoldSpec.hs
@@ -1,5 +1,5 @@
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.FoldSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/IntersectionSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/IntersectionSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/IntersectionSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/IntersectionSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.IntersectionSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/MapSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/MapSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/MapSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/MapSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.MapSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/MembershipSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/MembershipSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/MembershipSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/MembershipSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.MembershipSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/PartitionSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/PartitionSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/PartitionSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/PartitionSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.PartitionSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/PrefixSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/PrefixSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/PrefixSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/PrefixSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.PrefixSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/RecoveredMapSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/RecoveredMapSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/RecoveredMapSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/RecoveredMapSpec.hs
@@ -5,7 +5,7 @@
 {-# HLINT ignore "Use null" #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.RecoveredMapSpec
@@ -54,8 +54,8 @@
     )
 import Test.QuickCheck.Classes
     ( eqLaws, functorLaws, monoidLaws, semigroupLaws, semigroupMonoidLaws )
-import Test.QuickCheck.Classes.Hspec
-    ( testLawsMany )
+import Test.Hspec.QuickCheck.Classes
+    ( testLaws )
 
 import qualified Data.Map.Strict as OMap
 import qualified Data.Set as Set
@@ -105,13 +105,13 @@
     describe description $ do
 
         describe "Class laws" $ do
-            testLawsMany @(RMap.Map k v)
+            testLaws @(RMap.Map k v)
                 [ eqLaws
                 , monoidLaws
                 , semigroupLaws
                 , semigroupMonoidLaws
                 ]
-            testLawsMany @(RMap.Map k)
+            testLaws @(RMap.Map k)
                 [ functorLaws
                 ]
 
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/SingletonSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/SingletonSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/SingletonSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/SingletonSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.SingletonSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/SliceSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/SliceSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/SliceSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/SliceSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.SliceSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/SuffixSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/SuffixSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/SuffixSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/SuffixSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.SuffixSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/TraversalSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/TraversalSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/TraversalSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/TraversalSpec.hs
@@ -1,7 +1,8 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.TraversalSpec
@@ -187,5 +188,7 @@
     ===
     fmap MonoidMap.fromMap (Map.mapAccumRWithKey f s (MonoidMap.toMap m))
 
+#if !MIN_VERSION_QuickCheck(2,17,0)
 deriving newtype instance Arbitrary a => Arbitrary (First a)
 deriving newtype instance Arbitrary a => Arbitrary (Last a)
+#endif
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/UnionSpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/UnionSpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/UnionSpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/UnionSpec.hs
@@ -3,7 +3,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.UnionSpec
diff --git a/components/monoidmap-test/Data/MonoidMap/Internal/ValiditySpec.hs b/components/monoidmap-test/Data/MonoidMap/Internal/ValiditySpec.hs
--- a/components/monoidmap-test/Data/MonoidMap/Internal/ValiditySpec.hs
+++ b/components/monoidmap-test/Data/MonoidMap/Internal/ValiditySpec.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE RankNTypes #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Data.MonoidMap.Internal.ValiditySpec
diff --git a/components/monoidmap-test/Test/Combinators/NonZero.hs b/components/monoidmap-test/Test/Combinators/NonZero.hs
--- a/components/monoidmap-test/Test/Combinators/NonZero.hs
+++ b/components/monoidmap-test/Test/Combinators/NonZero.hs
@@ -1,5 +1,5 @@
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Test.Combinators.NonZero
diff --git a/components/monoidmap-test/Test/Common.hs b/components/monoidmap-test/Test/Common.hs
--- a/components/monoidmap-test/Test/Common.hs
+++ b/components/monoidmap-test/Test/Common.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE ExistentialQuantification #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 {- HLINT ignore "Redundant bracket" -}
@@ -5,7 +6,7 @@
 {- HLINT ignore "Use null" -}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Test.Common
@@ -111,15 +112,21 @@
   where
     function = functionMap MonoidMap.toMap MonoidMap.fromMap
 
+#if !MIN_VERSION_QuickCheck(2,17,0)
 instance Arbitrary Natural where
     arbitrary = arbitrarySizedNatural
     shrink = shrinkIntegral
+#endif
 
+#if !MIN_VERSION_QuickCheck(2,18,0)
 instance CoArbitrary Natural where
     coarbitrary = coarbitraryIntegral
+#endif
 
+#if !MIN_VERSION_QuickCheck(2,18,0)
 instance Function Natural where
     function = functionIntegral
+#endif
 
 instance Arbitrary Text where
     arbitrary = Text.pack <$> listOf genChar
diff --git a/components/monoidmap-test/Test/Hspec/Unit.hs b/components/monoidmap-test/Test/Hspec/Unit.hs
--- a/components/monoidmap-test/Test/Hspec/Unit.hs
+++ b/components/monoidmap-test/Test/Hspec/Unit.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE FunctionalDependencies #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 module Test.Hspec.Unit where
diff --git a/components/monoidmap-test/Test/Key.hs b/components/monoidmap-test/Test/Key.hs
--- a/components/monoidmap-test/Test/Key.hs
+++ b/components/monoidmap-test/Test/Key.hs
@@ -3,7 +3,7 @@
 {-# LANGUAGE DeriveGeneric #-}
 
 -- |
--- Copyright: © 2022–2025 Jonathan Knowles
+-- Copyright: © 2022–2026 Jonathan Knowles
 -- License: Apache-2.0
 --
 -- Quasi-unique keys.
diff --git a/components/monoidmap-test/Test/QuickCheck/Classes/Hspec.hs b/components/monoidmap-test/Test/QuickCheck/Classes/Hspec.hs
deleted file mode 100644
--- a/components/monoidmap-test/Test/QuickCheck/Classes/Hspec.hs
+++ /dev/null
@@ -1,63 +0,0 @@
-{-# LANGUAGE PolyKinds #-}
-
--- |
--- Copyright: © 2022–2025 Jonathan Knowles
--- License: Apache-2.0
---
--- Provides testing functions to check that type class instances obey laws.
---
-module Test.QuickCheck.Classes.Hspec
-    ( testLaws
-    , testLawsMany
-    ) where
-
-import Prelude
-
-import Control.Monad
-    ( forM_ )
-import Data.Proxy
-    ( Proxy (..) )
-import Data.Typeable
-    ( Typeable, typeRep )
-import Test.Hspec
-    ( Spec, describe, it, parallel )
-import Test.QuickCheck.Classes
-    ( Laws (..) )
-
--- | Constructs a test to check that the given type class instance obeys the
---   given set of laws.
---
--- Example usage:
---
--- >>> testLaws @Natural ordLaws
--- >>> testLaws @(Map Int) functorLaws
---
-testLaws
-    :: forall a. Typeable a
-    => (Proxy a -> Laws)
-    -> Spec
-testLaws getLaws =
-    parallel $ describe description $
-        forM_ (lawsProperties laws) $ uncurry it
-  where
-    description = mconcat
-        [ "Testing "
-        , lawsTypeclass laws
-        , " laws for type "
-        , show (typeRep $ Proxy @a)
-        ]
-    laws = getLaws $ Proxy @a
-
--- | Calls `testLaws` with multiple sets of laws.
---
--- Example usage:
---
--- >>> testLawsMany @Natural [eqLaws, ordLaws]
--- >>> testLawsMany @(Map Int) [foldableLaws, functorLaws]
---
-testLawsMany
-    :: forall a. Typeable a
-    => [Proxy a -> Laws]
-    -> Spec
-testLawsMany getLawsMany =
-    testLaws @a `mapM_` getLawsMany
diff --git a/monoidmap-internal.cabal b/monoidmap-internal.cabal
--- a/monoidmap-internal.cabal
+++ b/monoidmap-internal.cabal
@@ -1,12 +1,12 @@
 cabal-version:  3.0
 name:           monoidmap-internal
-version:        0.1.0.1
+version:        0.1.0.2
 bug-reports:    https://github.com/jonathanknowles/monoidmap-internal/issues
 license:        Apache-2.0
 license-file:   LICENSE
 author:         Jonathan Knowles
 maintainer:     mail@jonathanknowles.net
-copyright:      2022–2025 Jonathan Knowles
+copyright:      2022–2026 Jonathan Knowles
 category:       Data Structures
 synopsis:       Internal support for monoidmap.
 description:    Internal support for the monoidmap package.
@@ -16,15 +16,17 @@
     README.md
 
 common dependency-base
-    build-depends:base                          >= 4.14.3.0   && < 4.22
+    build-depends:base                          >= 4.14.3.0   && < 4.23
 common dependency-containers
-    build-depends:containers                    >= 0.6.5.1    && < 0.8
+    build-depends:containers                    >= 0.6.5.1    && < 0.9
 common dependency-deepseq
     build-depends:deepseq                       >= 1.4.4.0    && < 1.6
 common dependency-groups
     build-depends:groups                        >= 0.5.3      && < 0.6
 common dependency-hspec
     build-depends:hspec                         >= 2.10.9     && < 2.12
+common dependency-hspec-quickcheck-classes
+    build-depends:hspec-quickcheck-classes      >= 0.0.0.0    && < 0.1
 common dependency-monoid-subclasses
     build-depends:monoid-subclasses             >= 1.2.3      && < 1.3
 common dependency-nothunks
@@ -32,7 +34,7 @@
 common dependency-pretty-show
     build-depends:pretty-show                   >= 1.10       && < 1.11
 common dependency-QuickCheck
-    build-depends:QuickCheck                    >= 2.14.2     && < 2.17
+    build-depends:QuickCheck                    >= 2.14.2     && < 2.19
 common dependency-quickcheck-classes
     build-depends:quickcheck-classes            >= 0.6.5.0    && < 0.7
 common dependency-quickcheck-groups
@@ -115,6 +117,7 @@
       , dependency-containers
       , dependency-groups
       , dependency-hspec
+      , dependency-hspec-quickcheck-classes
       , dependency-monoid-subclasses
       , dependency-pretty-show
       , dependency-QuickCheck
@@ -158,7 +161,6 @@
         Test.Common
         Test.Hspec.Unit
         Test.Key
-        Test.QuickCheck.Classes.Hspec
     type:
         exitcode-stdio-1.0
     default-language: