I don't want to be compared to anyone. I want to create my own path.
判断两个λ表达式是否等价的问题是无法解决的。