判断两个λ表达式是否等价的问题是无法解决的。
The stock market is the only market where things go on sale and everyone runs out of the store.
The past is never dead. It's not even past.