Stream.exists, Stream.foldRight