This is a really good summary and is similar to my reaction to the Go Generics proposal - nice to see it being added, but it feels a little obtuse in the current incarnation, and not as simple as other parts of the language. I'd rather see them explore extending interfaces rather than introducing an entirely new metalanguage to describe relations between types.