next T
source 순서
원소별 vertical execution은 한 값을 판단·변환한 뒤 다음으로 간다
전체 filter List를 먼저 만든 뒤 map하면 중간 저장소가 필요하지만 융합 loop는 현재 원소만 유지합니다.
predicate
유지 여부
mapper
true일 때만
accumulate R
결과 추가
source에 다음 원소가 있으면 next T로 돌아감
핵심: predicate와 mapper의 호출 순서, 즉시 실패 의미는 그대로 보존합니다.