I almost missed your ML pun. To the uninitiated, ML was the first language supporting parametric polymorphism around 1976. What is interesting about Go's subt

I almost missed your ML pun. To the uninitiated, ML was the first language supporting parametric polymorphism around 1976. What is interesting about Go's subtype polymorphism is that it is structurally subtyped.. so A is a subtype of B if it fits the description of B, it does not need to explicitly declare that it "supports" or "implements" B.