-- 3 (find k"th element of a list)
element_at xs x = xs !! x
prop_3a xs x = (x < length xs && x >= 0) ==> element_at xs (x::Int) == (xs !! x::Int)
При выполнении prop_3a QuickCheck, он отказывается, потому что он не может генерировать достаточно длинные списки.
Как я могу написать генератор, который будет генерировать списки с длиной, большей, чем случайное целое число?