Use infix type syntax for a binary type application.