I understand, as exoteric says, that the symbol - is overloaded to mean both unary negation and binary subtraction, but it seems wrong that the only solution is to flip the arguments in the section. Subtraction isn't commutative so it's not equivalent. For
example: (1-) 3 yields -2 while, if it worked, I would expect (-1) 3 to yield positive 2.
The only solution I can come up with is to bind it to a name (prefix though) and then use that name in a secion (infix), something like: let subtract = (-) in (`subtract` 1) 3