Haskell has algebraic datatypes and typeclasses. Both of those are more complex than Go's type system, which is more or less just primitives, structs, and inter

Haskell has algebraic datatypes and typeclasses. Both of those are more complex than Go's type system, which is more or less just primitives, structs, and interfaces. Haskell's type system may in fact have fewer moving parts, but it has a LOT more emergent complexity than Go's does.