[JoelMcCracken]

I'm curious, how would a language have a type system as complicated as those but also be as simple as go?

Specifically, what does "simplicity of go" mean to you