2진 타입 애플리케이션에 infix 타입 구문을 사용합니다.