Apropos of section notation, don't forget flip, alias the C combinator. It allows you to express partial applications "to the next argument but one" is in operator section notation. We can express (usually horribly) any affine lambda-abstraction with flip, (.), id and const. Peter Hancock