tuple_1tuple-2.lambda

let f = fun u ->
  (*let [[[[x]]]] = u in*)
  let [u3] = u in
  let [u2] = u3 in
  let [u1] = u2 in
  let [x]  = u1 in
  [[[x+1]]]
in

(*let [[[y]]] = f [[[[41]]]] in*)
let [v2] = f [[[[41]]]] in
let [v1] = v2 in
let [y] = v1 in
print y