判断两个λ表达式是否等价的问题是无法解决的。
The best armor of old age is a well-spent life perfecting it.
Baking is as much about the journey as it is about the destination.