Justin Le 的《五点 Haskell》系列第二部分讨论 Haskell 设计中常被低估的一课：参数多态如何通过 forall 带来「无条件的」、被普遍量化预先决定的自由定理。他对比 Java/TypeScript 里 foo<T>(T x):T 几乎可以做任何事（因为运行时反射允许判型），而 Haskell 的 forall a. a -> a 除恒等函数外别无选择，forall a. a -> String 只能返回常量。他不止讲奇观，更把它当作设计原则：把控制权交给参数多态，让类型系统以数学自身的牢靠性质替你照看命运，而不是依赖易错的心智约束。