(* Ex04 Corrected *)

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

let inc2 y =
  let g = ap ((+) 1) in
  let h = ap ((+) 1) in
    h (g y)

in print (inc2 5)