I liked the alternative proposed later in the thread: gen T type pair struct { a, b T } // contrast with type pair(type T) ... gen T,U type W struct

I liked the alternative proposed later in the thread: gen T type pair struct { a, b T } // contrast with type pair(type T) ... gen T,U type W struct { a T; b U } // contrast with type W(type T, U) ... gen T func Print(s []T) {...} // print a slice of T or using `forall` forall T, type pair struct { a, b T } V readable IMO