Use prefix type syntax for a infix binary type application.