Go is more dynamically typed than Haskell. That is, it leaves nullability to runtime. It leaves parameteric polymorphism to runtime. Whenever there's a static

Go is more dynamically typed than Haskell. That is, it leaves nullability to runtime. It leaves parameteric polymorphism to runtime. Whenever there's a static type that Go cannot express (and there are plenty of those!) it is effectively dynamically typed about that property.