let double_apply = lambda(f,x): f(f(x)) end let add1 = lambda(x): x + 1 end double_apply(add1, 1)