check if predicate f holds for at least one element produced by this streamredefines Sequence.infix ∃:create a stream and check if predicate f holds for at least one element produced