There are plenty of strongly, statically typed languages which do not have this problem because they have parametric polymorphism, i.e. generics.

Reread the comment. It's a complaint about the lack of generics.

Aka polymorphic function parameters. If I manage to abstract a bit of functionality into a function, I don't care what the type is as long as the operations within the function work on it. Haskell uses typeclasses to provide this guarantee for specific types. Go seems to try to do something like this with interfaces, but it doesn't seem to apply to the map/fold/filter style of programming