고정 algorithm은 그대로 두고 변하는 판단만 함수 값으로 받는다.
Product 목록
ProductRule.test
선택된 불변 목록
새 rule 또는 rule 조합
핵심: 람다는 행동 객체를 만드는 문법이며 계약 설계가 먼저다.