diff --git a/Data/Vector/Fixed/Instances/QuickCheck.hs b/Data/Vector/Fixed/Instances/QuickCheck.hs
--- a/Data/Vector/Fixed/Instances/QuickCheck.hs
+++ b/Data/Vector/Fixed/Instances/QuickCheck.hs
@@ -16,11 +16,14 @@
 import qualified Data.Vector.Fixed.Unboxed   as FU
 import qualified Data.Vector.Fixed.Primitive as FP
 import qualified Data.Vector.Fixed.Storable  as FS
+import qualified Data.Vector.Fixed.Mono      as FM
 import           Test.QuickCheck
 
 
 instance (Vector v a, Arbitrary a) => Arbitrary (ViaFixed v a) where
   arbitrary = F.replicateM arbitrary
+instance (FM.Prod a v, Arbitrary a) => Arbitrary (FM.ViaFixed a v) where
+  arbitrary = FM.replicateM arbitrary
 
 
 deriving via ViaFixed (FB.Vec n) a instance (Arity n, Arbitrary a)                => Arbitrary (FB.Vec n a)
diff --git a/fixed-vector-QC.cabal b/fixed-vector-QC.cabal
--- a/fixed-vector-QC.cabal
+++ b/fixed-vector-QC.cabal
@@ -1,5 +1,5 @@
 Name:           fixed-vector-QC
-Version:        2.0.0.0
+Version:        2.1.0.0
 Synopsis:       QuickCheck instances for fixed-vector
 Description:
   This package contains Arbitrary instances for data types defined in
@@ -17,13 +17,12 @@
   ChangeLog.md
 
 tested-with:
-    GHC ==8.10.7
-     || ==9.0.1
-     || ==9.2.8
-     || ==9.4.7
-     || ==9.6.6
-     || ==9.8.2
-     || ==9.10.1
+    GHC ==9.4.7
+     || ==9.6.7
+     || ==9.8.4
+     || ==9.10.2
+     || ==9.12.2
+     || ==9.14.1
 
 source-repository head
   type:     git
@@ -32,8 +31,8 @@
 Library
   Ghc-options:          -Wall
   Default-Language:     Haskell2010
-  Build-Depends:        base         >=4.14 && <5
-                      , fixed-vector >=2.0
+  Build-Depends:        base         >=4.16 && <5
+                      , fixed-vector >=2.1
                       , QuickCheck   >=2.13
   Exposed-modules:
     Data.Vector.Fixed.Instances.QuickCheck