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.1.0
+version:             0.1.2.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.*
+  build-depends:       base           ==4.8.*
                      , QuickCheck     >=2.7 && <2.8
-                     , clash-prelude  ==0.7.*
+                     , clash-prelude  >=0.7.2 && <0.8
                      , mtl            >=2.1 && <2.3
                      , containers     >=0.5 && <0.6
 
diff --git a/src/CLaSH/QuickCheck/Instances/BitPack.hs b/src/CLaSH/QuickCheck/Instances/BitPack.hs
--- a/src/CLaSH/QuickCheck/Instances/BitPack.hs
+++ b/src/CLaSH/QuickCheck/Instances/BitPack.hs
@@ -1,16 +1,11 @@
 module CLaSH.QuickCheck.Instances.BitPack () where
 
-import           Data.Bits
-
-import qualified Test.QuickCheck
-import           Test.QuickCheck
+import Test.QuickCheck
 
-import           CLaSH.Prelude      hiding (lift)
-import           CLaSH.Sized.Vector
-import           CLaSH.Promoted.Nat
+import CLaSH.Prelude
 
-import           CLaSH.QuickCheck.Instances.BitVector
-import           CLaSH.QuickCheck.Instances.Vec
+import CLaSH.QuickCheck.Instances.BitVector ()
+import CLaSH.QuickCheck.Instances.Vec ()
 
 
 instance (BitPack (Unsigned a), KnownNat (BitSize (Unsigned a)))
diff --git a/src/CLaSH/QuickCheck/Instances/BitVector.hs b/src/CLaSH/QuickCheck/Instances/BitVector.hs
--- a/src/CLaSH/QuickCheck/Instances/BitVector.hs
+++ b/src/CLaSH/QuickCheck/Instances/BitVector.hs
@@ -1,18 +1,8 @@
 module CLaSH.QuickCheck.Instances.BitVector () where
 
-import           Prelude ()
-
-import           Data.Bits
-import           Data.Traversable
-
-import qualified Test.QuickCheck
-import           Test.QuickCheck
-
-import           CLaSH.Prelude hiding (sequence, lift)
-import           CLaSH.Sized.Vector
-import           CLaSH.Promoted.Nat
+import Test.QuickCheck
 
-import qualified CLaSH.Sized.Vector as V
+import CLaSH.Prelude
 
 
 iso1 :: Bool -> Bit
@@ -24,7 +14,7 @@
              _ -> True
 
 instance KnownNat n => Arbitrary (BitVector n) where
-  arbitrary = fmap pack $ sequence $ V.repeat $ iso1 <$> arbitrary
-  shrink v  = fmap pack x
-    where x :: [Vec n Bit]
-          x = (fmap . fmap) iso1 $ sequence $ shrink <$> iso2 <$> unpack v
+  arbitrary = fmap pack $ sequence $ CLaSH.Prelude.repeat $ iso1 <$> arbitrary
+  shrink v  = fmap pack vs
+    where vs :: [Vec n Bit]
+          vs = (fmap . fmap) iso1 $ sequence $ shrink <$> iso2 <$> unpack v
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
@@ -1,16 +1,9 @@
 module CLaSH.QuickCheck.Instances.Signal () where
 
-import           Data.Bits
-
-import           Control.Applicative
-
-import qualified Test.QuickCheck
-import           Test.QuickCheck
+import Test.QuickCheck
 
-import           CLaSH.Prelude.Explicit hiding (lift)
-import           CLaSH.Signal
-import           CLaSH.Sized.Vector
-import           CLaSH.Promoted.Nat
+import CLaSH.Prelude
+import CLaSH.Prelude.Explicit
 
 
 instance Arbitrary a => Arbitrary (Signal' clk a) where
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
@@ -1,21 +1,10 @@
 module CLaSH.QuickCheck.Instances.Vec () where
 
-import           Prelude ()
-
-import           Data.Traversable
-
-import           Control.Applicative
-
-import qualified Test.QuickCheck
-import           Test.QuickCheck hiding ((.&.))
-
-import           Unsafe.Coerce (unsafeCoerce)
+import Test.QuickCheck
 
-import           CLaSH.Prelude hiding (sequence)
-import           CLaSH.Sized.Vector
-import           CLaSH.Promoted.Nat
+import CLaSH.Prelude
 
 
 instance (KnownNat n, Arbitrary a) => Arbitrary (Vec n a) where
-  arbitrary = sequence $ repeat arbitrary
+  arbitrary = sequence $ CLaSH.Prelude.repeat arbitrary
   shrink x  = sequence $ shrink <$> x