(* Carsten Schuermann *)
(* Example 1 *)

let 
  val f = fn x => fn y => x + y
  val r = f 3 4
in
  r
end