判断两个λ表达式是否等价的问题是无法解决的。
最重要的是享受你的生活——快乐——这才是最重要的。