diff --git a/resin.cabal b/resin.cabal
--- a/resin.cabal
+++ b/resin.cabal
@@ -1,3 +1,4 @@
+cabal-version:       2.2
 -- Initial resin.cabal generated by cabal init.  For further documentation,
 --  see http://haskell.org/cabal/users-guide/
 
@@ -10,7 +11,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.2.0.2
+version:             0.2.0.3
 
 -- A short (one-line) description of the package.
 synopsis:            High performance variable binders
@@ -23,7 +24,7 @@
 
 
 -- The license under which the package is released.
-license:             BSD2
+license:             BSD-2-Clause
 
 -- The file containing the license text.
 license-file:        LICENSE
@@ -51,9 +52,8 @@
 
 
 
--- Constraint on the version of Cabal needed to build this package.
-cabal-version:       >=1.10
 
+
 source-repository head
   type: git
   location: https://github.com/cartazio/resin.git
@@ -77,10 +77,10 @@
   -- other-extensions:
 
   -- Other library packages from which modules are imported.
-  build-depends:      base >= 4.8 && < 4.12
+  build-depends:      base >= 4.8 && < 5
                       ,ghc-prim
                       -- >= 0.4 && < 0.6
-                      ,semigroupoids >= 5.0 && <  5.3
+                      ,semigroupoids >= 5.0 && <  5.4
                       ,ralist == 0.2.*
 
 
diff --git a/src/Resin/Binders/Tree/Internal.hs b/src/Resin/Binders/Tree/Internal.hs
--- a/src/Resin/Binders/Tree/Internal.hs
+++ b/src/Resin/Binders/Tree/Internal.hs
@@ -16,14 +16,12 @@
   ,jumpDepthInject -- not sure if this operation is safe
   ,jumpDepthExtract -- not sure if thats safe too
   ) where
-
 import Numeric.Natural
 import Data.Semigroupoid
 --import Data.Coerce
 import Unsafe.Coerce (unsafeCoerce)
 import Data.Type.Equality
 --import qualified Data.Semigroupoid.Dual as DL
-