Correctly pretty print a wild card in infix position