@@ -30,8 +30,7 @@ The generated 'arbitrary' method is equivalent to
3030-}
3131
3232module Test.QuickCheck.Arbitrary.Generic
33− ( GenericArbitrary(..)
34− , Arbitrary(..)
33+ ( Arbitrary(..)
3534 , Arg
3635 , genericArbitrary
3736 , genericShrink
@@ -44,19 +43,7 @@ import Data.Type.Bool
4443import GHC.Generics as G
4544import GHC.TypeLits
4645import Test.QuickCheck as QC
47−import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)
48−
49−newtype GenericArbitrary a = GenericArbitrary { unGenericArbitrary :: a }
50− deriving (Show, Eq)
51−
52−instance
53− ( Generic a,
54− GArbitrary a (Rep a) 'True,
55− RecursivelyShrink (Rep a),
56− GSubterms (Rep a) a
57− ) => Arbitrary (GenericArbitrary a) where
58− arbitrary = coerce (genericArbitrary :: Gen a)
59− shrink = coerce (genericShrink :: a -> [a])
46+import Test.QuickCheck.Arbitrary
6047
6148type family TypesDiffer a b where
6249 TypesDiffer a a = 'False