diff --git a/clash-prelude-quickcheck.cabal b/clash-prelude-quickcheck.cabal
--- a/clash-prelude-quickcheck.cabal
+++ b/clash-prelude-quickcheck.cabal
@@ -1,5 +1,5 @@
 name:                clash-prelude-quickcheck
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            QuickCheck instances for various types in the CλaSH Prelude
 bug-reports:         https://github.com/Ericson2314/clash-prelude-quickcheck/issues
 license:             OtherLicense
@@ -36,9 +36,9 @@
                      , GADTs
                      , KindSignatures
 
-  build-depends:       base           >=4.7 && <4.8
+  build-depends:       base           ==4.7.*
                      , QuickCheck     >=2.7 && <2.8
-                     , clash-prelude  >=0.6 && <0.7
+                     , clash-prelude  ==0.7.*
                      , mtl            >=2.1 && <2.3
                      , containers     >=0.5 && <0.6
 
diff --git a/src/CLaSH/QuickCheck/Instances/Signal.hs b/src/CLaSH/QuickCheck/Instances/Signal.hs
--- a/src/CLaSH/QuickCheck/Instances/Signal.hs
+++ b/src/CLaSH/QuickCheck/Instances/Signal.hs
@@ -8,12 +8,13 @@
 import           Test.QuickCheck
 
 import           CLaSH.Prelude.Explicit hiding (lift)
+import           CLaSH.Signal
 import           CLaSH.Sized.Vector
 import           CLaSH.Promoted.Nat
 
 
-instance Arbitrary a => Arbitrary (CSignal clk a) where
-  arbitrary = cfromList <$> infiniteList
+instance Arbitrary a => Arbitrary (Signal' clk a) where
+  arbitrary = fromList <$> infiniteList
 
   --TODO: what does it mean to shrink an infinite stream
   --shrink x  = [] : (fmap fromList $ shrink $ CLaSH.Prelude.sample x)
diff --git a/src/CLaSH/QuickCheck/Instances/Vec.hs b/src/CLaSH/QuickCheck/Instances/Vec.hs
--- a/src/CLaSH/QuickCheck/Instances/Vec.hs
+++ b/src/CLaSH/QuickCheck/Instances/Vec.hs
@@ -19,9 +19,3 @@
 instance (KnownNat n, Arbitrary a) => Arbitrary (Vec n a) where
   arbitrary = sequence $ repeat arbitrary
   shrink x  = sequence $ shrink <$> x
-
-instance (Ord a) => Ord (Vec n a) where
-  compare x y = foldr f EQ $ zipWith compare x y
-    where f EQ   keepGoing = keepGoing
-          f done _         = done
-