I wouldn't call something "fully statically typed" when most abstractions can only be implemented by casting from and to the top type. There is a reason why no

I wouldn't call something "fully statically typed" when most abstractions can only be implemented by casting from and to the top type. There is a reason why no one wants to use Java 1.4 anymore. Go's "static typing" is next to useless.