判断两个λ表达式是否等价的问题是无法解决的。
如果你想解决大问题,首先要提出正确的问题。