fun f : (Int -> Int) -> Int -> Int