Comment by eternalban

And it is basically notation noise. The idea is to inform the compiler as to which type names are generic.

   // proposed
   func Print2(type T1, T2)(s1 []T1, s2 []T2) { ... }

vs

   // less noise
   func Print2(s1 []'T1, s2 []'T2) { ... }

This proposal does -not- seem to be informed by the same 'outer space' mindset that gave us the Go language. A reminder that mere capitalization in Go language informs visibility and access.

Beyond mere syntax issues, the semantics of generics itself is adding huge complexity to what is a very capable and accessible 80% language.