let add x y = x + y

(* add 5 1    -> int*)
(* add 5      -> fun y -> 5 + y *)
(* (add 5) 1  -> int *)
(* add (5 1)  -> error*)