(* A Type-Correct, Blame-Free Program *)

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

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

in print (inc 5)