You appear to have entirely missed the point of the paper. This is an exploration of a mechanism for implementing generics in Go in the future. It's not a propo

You appear to have entirely missed the point of the paper. This is an exploration of a mechanism for implementing generics in Go in the future. It's not a proposal for a new programming language. The "Featherweight Go" referred to in the paper is simply a tiny subset of the Go language itself that's being used as a framework for formalising the mechanism they're proposing could be used.