判断两个λ表达式是否等价的问题是无法解决的。
I’ve learned that people will forget what you said, people will forget what you did, but people will never forget how you made them feel.