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

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

let inc y = ap ((+) 1) y

in print (inc 5)