diff --git a/clash-prelude-hedgehog.cabal b/clash-prelude-hedgehog.cabal
--- a/clash-prelude-hedgehog.cabal
+++ b/clash-prelude-hedgehog.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 
 name:               clash-prelude-hedgehog
-version:            1.6.2
+version:            1.6.3
 synopsis:           Hedgehog Generators for clash-prelude
 description:        Hedgehog Generators for clash-prelude
 bug-reports:        https://github.com/clash-lang/clash-compiler/issues
@@ -53,4 +53,4 @@
     ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
     text                      >= 1.2.2   && < 1.4,
 
-    clash-prelude             == 1.6.2,
+    clash-prelude             == 1.6.3,
diff --git a/src/Clash/Hedgehog/Sized/BitVector.hs b/src/Clash/Hedgehog/Sized/BitVector.hs
--- a/src/Clash/Hedgehog/Sized/BitVector.hs
+++ b/src/Clash/Hedgehog/Sized/BitVector.hs
@@ -1,5 +1,5 @@
 {-|
-Copyright   : (C) 2021, QBayLogic B.V.
+Copyright   : (C) 2021-2022, QBayLogic B.V.
 License     : BSD2 (see the file LICENSE)
 Maintainer  : QBayLogic B.V. <devops@qbaylogic.com>
 
@@ -68,6 +68,9 @@
 
 data SomeBitVector atLeast where
   SomeBitVector :: SNat n -> BitVector (atLeast + n) -> SomeBitVector atLeast
+
+instance KnownNat atLeast => Show (SomeBitVector atLeast) where
+  show (SomeBitVector SNat bv) = show bv
 
 genSomeBitVector
   :: forall m atLeast
diff --git a/src/Clash/Hedgehog/Sized/Index.hs b/src/Clash/Hedgehog/Sized/Index.hs
--- a/src/Clash/Hedgehog/Sized/Index.hs
+++ b/src/Clash/Hedgehog/Sized/Index.hs
@@ -1,5 +1,5 @@
 {-|
-Copyright   : (C) 2021, QBayLogic B.V.
+Copyright   : (C) 2021-2022, QBayLogic B.V.
 License     : BSD2 (see the file LICENSE)
 Maintainer  : QBayLogic B.V. <devops@qbaylogic.com>
 
@@ -28,13 +28,15 @@
 genIndex :: (MonadGen m, KnownNat n) => Range (Index n) -> m (Index n)
 genIndex range =
   Gen.frequency
-    [ (60, Gen.integral range)
-    , (20, Gen.constant minBound)
-    , (20, Gen.constant maxBound)
+    [ (70, Gen.integral range)
+    , (30, Gen.constant (Range.upperBound 99 range))
     ]
 
 data SomeIndex atLeast where
   SomeIndex :: SNat n -> Index (atLeast + n) -> SomeIndex atLeast
+
+instance KnownNat atLeast => Show (SomeIndex atLeast) where
+  show (SomeIndex SNat ix) = show ix
 
 genSomeIndex
   :: (MonadGen m, KnownNat atLeast)
diff --git a/src/Clash/Hedgehog/Sized/RTree.hs b/src/Clash/Hedgehog/Sized/RTree.hs
--- a/src/Clash/Hedgehog/Sized/RTree.hs
+++ b/src/Clash/Hedgehog/Sized/RTree.hs
@@ -1,5 +1,5 @@
 {-|
-Copyright   : (C) 2021, QBayLogic B.V.
+Copyright   : (C) 2021-2022, QBayLogic B.V.
 License     : BSD2 (see the file LICENSE)
 Maintainer  : QBayLogic B.V. <devops@qbaylogic.com>
 
@@ -33,6 +33,9 @@
 
 data SomeRTree atLeast a where
   SomeRTree :: SNat n -> RTree (atLeast + n) a -> SomeRTree atLeast a
+
+instance (KnownNat atLeast, Show a) => Show (SomeRTree atLeast a) where
+  show (SomeRTree SNat x) = show x
 
 genSomeRTree
   :: (MonadGen m, KnownNat atLeast)
diff --git a/src/Clash/Hedgehog/Sized/Signed.hs b/src/Clash/Hedgehog/Sized/Signed.hs
--- a/src/Clash/Hedgehog/Sized/Signed.hs
+++ b/src/Clash/Hedgehog/Sized/Signed.hs
@@ -1,5 +1,5 @@
 {-|
-Copyright   : (C) 2021, QBayLogic B.V.
+Copyright   : (C) 2021-2022, QBayLogic B.V.
 License     : BSD2 (see the file LICENSE)
 Maintainer  : QBayLogic B.V. <devops@qbaylogic.com>
 
@@ -29,12 +29,15 @@
 genSigned range =
   Gen.frequency
     [ (60, Gen.integral range)
-    , (20, Gen.constant minBound)
-    , (20, Gen.constant maxBound)
+    , (20, Gen.constant (Range.lowerBound 99 range))
+    , (20, Gen.constant (Range.upperBound 99 range))
     ]
 
 data SomeSigned atLeast where
   SomeSigned :: SNat n -> Signed (atLeast + n) -> SomeSigned atLeast
+
+instance KnownNat atLeast => Show (SomeSigned atLeast) where
+  show (SomeSigned SNat x) = show x
 
 genSomeSigned
   :: (MonadGen m, KnownNat atLeast)
diff --git a/src/Clash/Hedgehog/Sized/Unsigned.hs b/src/Clash/Hedgehog/Sized/Unsigned.hs
--- a/src/Clash/Hedgehog/Sized/Unsigned.hs
+++ b/src/Clash/Hedgehog/Sized/Unsigned.hs
@@ -1,5 +1,5 @@
 {-|
-Copyright   : (C) 2021, QBayLogic B.V.
+Copyright   : (C) 2021-2022, QBayLogic B.V.
 License     : BSD2 (see the file LICENSE)
 Maintainer  : QBayLogic B.V. <devops@qbaylogic.com>
 
@@ -28,13 +28,15 @@
 genUnsigned :: (MonadGen m, KnownNat n) => Range (Unsigned n) -> m (Unsigned n)
 genUnsigned range =
   Gen.frequency
-    [ (60, Gen.integral range)
-    , (20, Gen.constant minBound)
-    , (20, Gen.constant maxBound)
+    [ (70, Gen.integral range)
+    , (30, Gen.constant (Range.upperBound 99 range))
     ]
 
 data SomeUnsigned atLeast where
   SomeUnsigned :: SNat n -> Unsigned (atLeast + n) -> SomeUnsigned atLeast
+
+instance KnownNat atLeast => Show (SomeUnsigned atLeast) where
+  show (SomeUnsigned SNat x) = show x
 
 genSomeUnsigned
   :: (MonadGen m, KnownNat atLeast)
diff --git a/src/Clash/Hedgehog/Sized/Vector.hs b/src/Clash/Hedgehog/Sized/Vector.hs
--- a/src/Clash/Hedgehog/Sized/Vector.hs
+++ b/src/Clash/Hedgehog/Sized/Vector.hs
@@ -1,5 +1,5 @@
 {-|
-Copyright   : (C) 2021, QBayLogic B.V.
+Copyright   : (C) 2021-2022, QBayLogic B.V.
 License     : BSD2 (see the file LICENSE)
 Maintainer  : QBayLogic B.V. <devops@qbaylogic.com>
 
@@ -42,6 +42,9 @@
 
 data SomeVec atLeast a where
   SomeVec :: SNat n -> Vec (atLeast + n) a -> SomeVec atLeast a
+
+instance (KnownNat atLeast, Show a) => Show (SomeVec atLeast a) where
+  show (SomeVec SNat xs) = show xs
 
 genSomeVec
   :: (MonadGen m, KnownNat atLeast)