curry f x y = f(x,y)

  # curry mk_var;;
  val it : string -> hol_type -> term = 
  # it "x";;
  val it : hol_type -> term = 
  # it `:bool`;;
  val it : term = `x`