做出伟大工作的唯一方法就是热爱你所做的事。
判断两个λ表达式是否等价的问题是无法解决的。