higher order operator parsing