如何读入lambda表达式lambda x.yz

Question

lambda x.yz 应该读作

• (lambda x.y) z 减少到 z

或

• λx。 (yz) 这似乎是不可约的？