import num ps : List(N) ps = filter(isPrime, [1 .. 100])