diff --git a/LICENCE b/LICENCE
--- a/LICENCE
+++ b/LICENCE
@@ -1,4 +1,4 @@
-Copyright (c) 2020, System F
+Copyright (c) 2020-2025, System F
 
 All rights reserved.
 
diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,7 @@
+0.3.0.7
+
+* Update version bounds
+
 0.3.0.6
 
 * Support `lens` up to `5.1`
diff --git a/natural.cabal b/natural.cabal
--- a/natural.cabal
+++ b/natural.cabal
@@ -1,24 +1,24 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                natural
-version:             0.3.0.6
+version:             0.3.0.7
 synopsis:            Natural number
 description:
-  <<https://system-f.gitlab.io/logo/systemf-450x450.jpg>>
-  .
   Natural number
+  .
+  <<https://logo.systemf.com.au/systemf-450x450.png>>
 license:             BSD3
 license-file:        LICENCE
 author:              Queensland Functional Programming Lab <oᴉ˙ldɟb@llǝʞsɐɥ>
 maintainer:          Queensland Functional Programming Lab <oᴉ˙ldɟb@llǝʞsɐɥ>
-copyright:           Copyright (C) 2020 System F
+copyright:           Copyright (C) 2020-2025 System F
 category:            Control
 build-type:          Simple
 extra-source-files:  changelog.md
 cabal-version:       >=1.10
 homepage:            https://github.com/system-f/natural
 bug-reports:         https://github.com/system-f/natural/issues
-tested-with:         GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1, GHC == 8.8.1, GHC == 8.6.5, GHC == 8.10.1
+tested-with:         GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1, GHC == 8.8.1, GHC == 8.6.5, GHC == 8.10.1, GHC == 9.4.8
 
 source-repository   head
   type:             git
@@ -26,27 +26,27 @@
 
 library
   exposed-modules:     Natural
-  build-depends:       base >=4.8 && <5
-                     , lens >=4.15 && <5.2
-                     , semigroupoids >= 5 && <6
+  build-depends:       base >= 4.8 && < 6
+                     , lens >= 4.15 && < 6
+                     , semigroupoids >= 5 && < 7
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall
   if impl(ghc<8.0.1)
-    build-depends:     semigroups >= 0.9 && <6
+    build-depends:     semigroups >= 0.9 && < 1
 
 test-suite             tests
-  build-depends:       QuickCheck >=2.9.2 && <2.15
-                     , base >=4.8 && <5
-                     , checkers >=0.4.6 && <0.6
+  build-depends:       QuickCheck >= 2.9.2 && < 2.15
+                     , base >= 4.8 && < 6
+                     , checkers >= 0.4.6 && < 0.6
+                     , hedgehog >= 0.5 && < 1.1
+                     , lens >= 4.15 && < 6
+                     , tasty >= 0.11 && < 1.3
+                     , tasty-hunit >= 0.9 && < 0.11
+                     , tasty-hedgehog >= 0.1 && < 1.1
+                     , tasty-quickcheck >= 0.8.4 && < 0.11
+                     , transformers >= 0.4.1 && < 0.6
                      , natural
-                     , hedgehog >=0.5 && <1.1
-                     , lens >=4.15 && <5.2
-                     , tasty >=0.11 && <1.3
-                     , tasty-hunit >=0.9 && <0.11
-                     , tasty-hedgehog >= 0.1 && <1.1
-                     , tasty-quickcheck >=0.8.4 && <0.11
-                     , transformers >=0.4.1 && <0.6
   type:                exitcode-stdio-1.0
   main-is:             Tests.hs
   hs-source-dirs:      test
diff --git a/src/Natural.hs b/src/Natural.hs
--- a/src/Natural.hs
+++ b/src/Natural.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 module Natural (
   Natural
@@ -165,7 +166,7 @@
 
 instance ProductNatural ~ a =>
   Rewrapped ProductNatural a
-  
+
 instance Wrapped ProductNatural where
   type Unwrapped ProductNatural = Natural
   _Wrapped' =
@@ -198,7 +199,7 @@
 
 instance MaxNatural ~ a =>
   Rewrapped MaxNatural a
-  
+
 instance Wrapped MaxNatural where
   type Unwrapped MaxNatural = Natural
   _Wrapped' =
@@ -225,7 +226,7 @@
 
 instance MinNatural ~ a =>
   Rewrapped MinNatural a
-  
+
 instance Wrapped MinNatural where
   type Unwrapped MinNatural = Natural
   _Wrapped' =
@@ -478,7 +479,7 @@
 
 instance SumPositive ~ a =>
   Rewrapped SumPositive a
-  
+
 instance Wrapped SumPositive where
   type Unwrapped SumPositive = Positive
   _Wrapped' =
@@ -505,7 +506,7 @@
 
 instance MaxPositive ~ a =>
   Rewrapped MaxPositive a
-  
+
 instance Wrapped MaxPositive where
   type Unwrapped MaxPositive = Positive
   _Wrapped' =
@@ -532,7 +533,7 @@
 
 instance MinPositive ~ a =>
   Rewrapped MinPositive a
-  
+
 instance Wrapped MinPositive where
   type Unwrapped MinPositive = Positive
   _Wrapped' =
@@ -687,7 +688,7 @@
   -> [Positive]
 findIndices1 p x =
   map snd (NonEmpty.filter (p . fst) (NonEmpty.zip x (NonEmpty.iterate successor1' one')))
-  
+
 findIndex1 ::
   (a -> Bool)
   -> NonEmpty a