@@ -82,8 +82,8 @@ type family SumLen a :: Nat where
8282instance (GArbitrary a, GArbitrary b, KnownNat (SumLen a), KnownNat (SumLen b)
8383 ) => GArbitrary (a G.:+: b) where
8484 gArbitrary = frequency
85− [ (lfreq, G.L1 <$> gArbitrary)
86− , (rfreq, G.R1 <$> gArbitrary) ]
85+ [ (lfreq, G.L1 <$> QC.scale pred gArbitrary)
86+ , (rfreq, G.R1 <$> QC.scale pred gArbitrary) ]
8787 where
8888 lfreq = fromIntegral $ natVal (Proxy :: Proxy (SumLen a))
8989 rfreq = fromIntegral $ natVal (Proxy :: Proxy (SumLen b))