입력과 출력 관계가 operation 의미를 결정한다.
T → boolean
T → R
넓은 입력 재사용
구체 결과 허용
핵심: raw 함수형 타입으로 compile 검사를 포기하지 않는다.