真相往往隐藏在显而易见之处。
判断两个λ表达式是否等价的问题是无法解决的。
Get rich or die tryin'.