각 함수가 좁은 입력과 출력을 가져 연결 오류를 드러낸다.
String에서 Order 또는 오류
Order 규칙 판정
Order에서 PricedOrder
첫 실패를 다음 단계로 전달
핵심: 함수 합성은 type 연결을 보장하지만 업무 순서까지 결정하지 않는다.