Uses prefix type syntax for an infix binary type application.