`let x = 4` is not an expression there.
let primes = sieve [2..] where sieve (p:xs) = p : sieve [x| x <- xs, x `mod` p /= 0] in primes
let primes = ... in take 5 primes