If you want to go fast, go alone. If you want to go far, go together.
判断两个λ表达式是否等价的问题是无法解决的。
If we take from the land, we must give back in equal measure.