判断两个λ表达式是否等价的问题是无法解决的。
我不必完美,我只需要做我自己。