import num isPrime 20 filter(\x. x > 3, [1 .. 5])