Access parameter of function passed to higher order function

Question

Assuming I have an expression like the following in Haskell

highO :: Int -> (Int -> Int) -> Int
highO arg1 (f val) 
     | val < 0 = f val
     |