I would find something like over(max, scan(0, max(+, 0)) slightly more readable, even if that still gives me a higher-order-headache. Because, y'know, it's c

I would find something like over(max, scan(0, max(+, 0)) slightly more readable, even if that still gives me a higher-order-headache. Because, y'know, it's confusing to have symbol salad with a weird mixture of infix and postfix operators, even more so if you have type raising (or the moral equivalent thereof) thrown in for good measure.