let ap : (int -> int) -> int -> int =
  fun f: (int -> int) ->
    fun x: int ->
      f x

let inc : int -> int =
  fun y: int -> ap (fun z: int -> z + 1) y

in print[int] (inc 5)