diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,7 @@
+0.3.33
+
+* Add instances for strict vectors
+
 0.3.32
 
 * Add instances for primitive vectors
diff --git a/quickcheck-instances.cabal b/quickcheck-instances.cabal
--- a/quickcheck-instances.cabal
+++ b/quickcheck-instances.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               quickcheck-instances
-version:            0.3.32
+version:            0.3.33
 synopsis:           Common quickcheck instances
 description:
   QuickCheck instances.
@@ -33,9 +33,10 @@
    || ==9.0.2
    || ==9.2.8
    || ==9.4.8
-   || ==9.6.5
-   || ==9.8.2
-   || ==9.10.1
+   || ==9.6.7
+   || ==9.8.4
+   || ==9.10.2
+   || ==9.12.2
 
 source-repository head
   type:     git
@@ -79,7 +80,7 @@
   other-modules:      Test.QuickCheck.Instances.CustomPrelude
   hs-source-dirs:     src
   build-depends:
-    , base        >=4.12.0.0 && <4.21
+    , base        >=4.12.0.0 && <4.22
     , QuickCheck  >=2.14.2   && <2.15.1
     , splitmix    >=0.1.0.5  && <0.2
 
@@ -104,7 +105,7 @@
     , transformers          >=0.5.6.2  && <0.7
     , unordered-containers  >=0.2.20   && <0.3
     , uuid-types            >=1.0.6    && <1.1
-    , vector                >=0.13.1.0 && <0.14
+    , vector                >=0.13.2.0 && <0.14
 
   if impl(ghc <9.4)
     build-depends: data-array-byte >=0.1.0.1 && <0.2
diff --git a/src/Test/QuickCheck/Instances/Vector.hs b/src/Test/QuickCheck/Instances/Vector.hs
--- a/src/Test/QuickCheck/Instances/Vector.hs
+++ b/src/Test/QuickCheck/Instances/Vector.hs
@@ -12,6 +12,7 @@
 import qualified Data.Vector.Primitive as PVector
 import qualified Data.Vector.Storable  as SVector
 import qualified Data.Vector.Unboxed   as UVector
+import qualified Data.Vector.Strict    as BVector
 
 -------------------------------------------------------------------------------
 -- vector
@@ -63,6 +64,19 @@
 
 -- | @since 0.3.32
 instance (PVector.Prim a, Function a) => Function (PVector.Vector a) where
+    function = functionVector
+
+-- | @since 0.3.33
+instance (Arbitrary a) => Arbitrary (BVector.Vector a) where
+    arbitrary = arbitraryVector
+    shrink = shrinkVector
+
+-- | @since 0.3.33
+instance (CoArbitrary a) => CoArbitrary (BVector.Vector a) where
+    coarbitrary = coarbitraryVector
+
+-- | @since 0.3.33
+instance (Function a) => Function (BVector.Vector a) where
     function = functionVector
 
 arbitraryVector :: (GVector.Vector v a, Arbitrary a) => Gen (v a)
