判断两个λ表达式是否等价的问题是无法解决的。
The bond market is the smartest market in the world.
No man, for any considerable period, can wear one face to himself and another to the multitude, without finally getting bewildered as to which may be the true.
