判断两个λ表达式是否等价的问题是无法解决的。
The beauty of auctions is that they reveal hidden information.
I don't care what you think, I'm doing this for me.
The cloud stood humbly in a corner of the sky,The morning crowned it with splendour.