diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.0.1.7
+
+- Bumped upper version bounds of dependencies.
+
 # 0.0.1.6
 
 - Added support for GHC `9.14`.
diff --git a/quickcheck-groups.cabal b/quickcheck-groups.cabal
--- a/quickcheck-groups.cabal
+++ b/quickcheck-groups.cabal
@@ -1,6 +1,6 @@
 cabal-version:  3.0
 name:           quickcheck-groups
-version:        0.0.1.6
+version:        0.0.1.7
 bug-reports:    https://github.com/jonathanknowles/quickcheck-groups/issues
 license:        Apache-2.0
 license-file:   LICENSE
@@ -29,7 +29,7 @@
 common dependency-pretty-show
     build-depends:pretty-show                   >= 1.10       && < 1.11
 common dependency-QuickCheck
-    build-depends:QuickCheck                    >= 2.14.2     && < 2.19
+    build-depends:QuickCheck                    >= 2.14.2     && < 2.20
 common dependency-quickcheck-classes
     build-depends:quickcheck-classes            >= 0.6.5.0    && < 0.7
 common dependency-semigroupoids
diff --git a/src/internal/Internal/Semigroup/Tuple.hs b/src/internal/Internal/Semigroup/Tuple.hs
--- a/src/internal/Internal/Semigroup/Tuple.hs
+++ b/src/internal/Internal/Semigroup/Tuple.hs
@@ -60,6 +60,7 @@
 instance Show VariableSum where
     show (VariableSum vs) = F1.intercalate1 " <> " $ show <$> vs
 
+a, b, c, d :: VariableSum
 a = VariableSum (A :| [])
 b = VariableSum (B :| [])
 c = VariableSum (C :| [])
diff --git a/src/public/Test/QuickCheck/Classes/Group.hs b/src/public/Test/QuickCheck/Classes/Group.hs
--- a/src/public/Test/QuickCheck/Classes/Group.hs
+++ b/src/public/Test/QuickCheck/Classes/Group.hs
@@ -23,7 +23,7 @@
 import Data.Function
     ( (&) )
 import Data.Group
-    ( Abelian, Group (..) )
+    ( Abelian, Group (invert, (~~)) )
 import Data.Proxy
     ( Proxy (..) )
 import Internal
@@ -38,6 +38,8 @@
 import Test.QuickCheck.Classes
     ( Laws (..) )
 
+import qualified Data.Group as Group
+
 --------------------------------------------------------------------------------
 -- Group
 --------------------------------------------------------------------------------
@@ -348,3 +350,12 @@
     & cover
         "(a /= b) && (a <> b /= a) && (b <> a /= b)"
         ((a /= b) && (a <> b /= a) && (b <> a /= b))
+
+--------------------------------------------------------------------------------
+-- Internal
+--------------------------------------------------------------------------------
+
+-- | Specialised version of `pow` to avoid type defaulting.
+--
+pow :: Group m => m -> Int -> m
+pow = Group.pow