@reus 你居然用 ML、Haskell 举例。。。要用<>还是()说实话根本不要紧，不过就是考量怎么不显式用∀来引入 type variable 而已。

> 泛型就是以类型作为参数，既然是参数，那放在括号里，有什么问题？ T(int) 就是以 int 为参数，特化出一个新的类型。

这是你的原话，我不是说 type level 之间是 currying 的，我说的是如果真像你说的，int 是很 trivial 的参数的话，为什么 type level 和 value level 之间是 currying 的，也就是 application 的时候是 T(int)(a, b)而不是 T(int, a, b)，为什么？不就是 type parameter 和 value parameter 在 golang 并不是那么 trivial 的关系么，所以为什么()不见得比[]或<>好的原因，因为是不同的 level，用相同的符号是很容易有歧义的。

你要是像其他语言 type variable 和 value variable 都可以当作普通变量调用和传递，那当然没问题了，你又举了 haskell 的例子，haskell 用个毛的<>，haskell 本身就是 separated annotation 而且可以直接写∀，当然不用考虑这些幺蛾子了。