I guess this comes back full circle to the original point: you should think of everything being left-associative here, so by default the above is interpreted as

I guess this comes back full circle to the original point: you should think of everything being left-associative here, so by default the above is interpreted as f: Int -> (Int -> Int) ... (f 5) 7