The trick is that your predicate can’t be implemented in Haskell, because the predicate itself requires looking at infinitely many elements.