没有什么比心中藏着一个未讲的故事更痛苦的了。
The best architecture is born from constraints.
判断两个λ表达式是否等价的问题是无法解决的。