SomeVec is a datatype which is used in generators, however Hedgehog's forAll function
https://hackage.haskell.org/package/hedgehog-1.1.1/docs/Hedgehog-Internal-Property.html#v:forAll
forAll :: (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a requires a Show instance for a.
Hence, all datatypes in clash-prelude-hedgehog that are used in generators should have a Show instance.
SomeVecis a datatype which is used in generators, however Hedgehog'sforAllfunctionhttps://hackage.haskell.org/package/hedgehog-1.1.1/docs/Hedgehog-Internal-Property.html#v:forAll
forAll :: (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m arequires aShowinstance fora.Hence, all datatypes in
clash-prelude-hedgehogthat are used in generators should have aShowinstance.