[alkonaut]

There is ambiguity in Print[T](t T)? What different things could T represent there?

[ianlancetaylor]

There is no ambiguity there. The ambiguity arises for parameterized types.

type A[T] int

Is that a parameterized type named A with a type parameter T, or is it a definition of an array named A whose length is T?

Separately, it's nice that type parameter lists use the same syntax as non-type parameter lists.