fun x -> (fun y -> x);; fun x y -> x;; fun x -> x + x;; (fun x -> x) + x;; let x = 3;; (fun x -> x) x;; (fun x -> x) y;; (fun y -> y) x;; x;; (fun x -> x + x) 5 ;; (fun x y -> x) 3 5;; let x = 3 and y = 5;; (fun x y -> x) y x;; (fun x' y' -> x') y x;; (fun x y -> x) y' x';; (fun x -> x + (fun x -> x) 2) 3;; (fun x -> x + (fun y -> y) 2) 3;; (fun x -> (fun x -> x) 2) 3;; ((fun x x -> x) 2) 3;; (fun x x -> x) 2 3;; (fun x -> (fun x -> x)) 2 3;; (fun x x -> x) 2 3;; let f x x = x;; f 2 3;;