Sieve of Erathostenes in haskell/QuickCheck