Avoid infix type application in a couple places, for clarity.