haskell - このコードが空のリストを返すか失敗するのはなぜですか? ハスケル

Question

primes :: [Int]
primes = sieve [2..]

sieve :: [Int] -> [Int]
sieve (p:xs)= p:sieve[x|x<-xs,x `mod` p /= 0]

f :: Int->Int
f n = head [x|x<-[0,(product (filter (<n) primes))..],x/=0,sum (map (x `mod`) [1..n]) == 0]

---

GHCi にロードして "f 20" と入力すると失敗します......助けてください