Art is not a mirror to reflect reality, but a hammer with which to shape it.
判断两个λ表达式是否等价的问题是无法解决的。