Life isn’t about having, it’s about being.
"Every story is a story about death, but perhaps every story is also about life."
判断两个λ表达式是否等价的问题是无法解决的。