Print infix type constructors in an infix way