((x)->
    2 + x(-> 5)
)((y) -> y()+3)
# result: 10