입력과 결과 타입 관계에 맞는 표준 계약을 사용한다.
서로 다른 두 입력에서 결과를 만든다.
두 입력으로 외부 효과를 낸다.
두 입력 관계를 판단한다.
같은 T 둘을 T로 합친다.
핵심: reduction operator라면 associativity와 identity도 확인한다.