diff --git a/bench/Bench.hs b/bench/Bench.hs
--- a/bench/Bench.hs
+++ b/bench/Bench.hs
@@ -36,12 +36,14 @@
     FS (FS FZ)           -> 3
     FS (FS (FS FZ))      -> 4
     FS (FS (FS (FS FZ))) -> 5
+    _                    -> -1
 ysp = P.Vec $ \i -> case i of
     FZ                   -> 6
     FS FZ                -> 7
     FS (FS FZ)           -> 8
     FS (FS (FS FZ))      -> 9
     FS (FS (FS (FS FZ))) -> 0
+    _                    -> -1
 
 main :: IO ()
 main = defaultMain
diff --git a/vec.cabal b/vec.cabal
--- a/vec.cabal
+++ b/vec.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               vec
-version:            0.5.1
+version:            0.5.1.1
 synopsis:           Vec: length-indexed (sized) list
 category:           Data, Dependent Types
 description:
@@ -76,9 +76,11 @@
    || ==9.0.2
    || ==9.2.8
    || ==9.4.8
-   || ==9.6.5
-   || ==9.8.2
-   || ==9.10.1
+   || ==9.6.6
+   || ==9.8.4
+   || ==9.10.3
+   || ==9.12.2
+   || ==9.14.1
 
 source-repository head
   type:     git
@@ -120,9 +122,8 @@
 
   -- GHC boot libs
   build-depends:
-    , base          >=4.12.0.0 && <4.21
+    , base          >=4.12.0.0 && <4.23
     , deepseq       >=1.4.4.0  && <1.6
-    , transformers  >=0.5.6.2  && <0.7
 
   -- siblings
   build-depends:            fin ^>=0.3.1
@@ -130,9 +131,9 @@
   -- other dependencies
   build-depends:
     , boring               ^>=0.2.2
-    , hashable             ^>=1.4.4.0
+    , hashable             ^>=1.4.4.0 || ^>=1.5.0.0
     , indexed-traversable  ^>=0.1.4
-    , QuickCheck           ^>=2.14.2  || ^>=2.15.0.1
+    , QuickCheck           ^>=2.14.2  || ^>=2.15.0.1 || ^>=2.18.0.0
 
   if flag(distributive)
     build-depends: distributive ^>=0.6.2
@@ -154,7 +155,6 @@
     -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295
     ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode
 
-  x-docspec-extra-packages: void
   x-docspec-extra-packages: lens
 
 test-suite inspection
@@ -170,8 +170,7 @@
   build-depends:
     , base
     , fin
-    , inspection-testing  ^>=0.5.0.3
-    , tagged
+    , inspection-testing  ^>=0.5.0.3 || ^>=0.6
     , vec
 
 benchmark bench