(int -> int) -> int -> int