Make some patterns use infix constructors