05: Add comment to Stream.exists (early termination of foldRight