(* version qui met une erreur *)
let apply f x = f x;;
let identity = apply (fun t -> t);;
identity 1;;
identity true;;(* Error: This expression has type bool but an expression was expected of type int *)

(* version qui marche *)
let apply f x = f x;;
let identity x = apply (fun t -> t) x;;
identity 1;;
identity true;;