(* A Blameworthy Coercion *)

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

let inc2 y =
  let g = ap ((+) 1) in
    g (g y)   (* g is used twice here *)

in print (inc2 5)