high_order.miml

let f g x = g x in
f (lambda x = x + 1 end) 1
end