人生太短暂,不能活在别人的梦想里。
判断两个λ表达式是否等价的问题是无法解决的。