> One meta point to keep in mind: many of the points here mirror the downsides of dynamic typing in comparison to static typing (again, not to imply that dynamic typing is not sometimes useful), because in some sense, it is the same problem but in a different context – instead of run time vs compile time, we’re talking about instantiation time vs declaration time. Yes, you have more flexibility to do whatever you want, but the problem is that you have more flexibility to do whatever you want.

This is the first time I've seen something said so similarly to how I feel about what the article describes as "template"-style generics; it has a similar user experience to duck typing where you have to just use something that fits the expected shape where it's being used or else everything falls apart. The happy path where everything is done correctly is certainly less verbose, but at least personally I don't end up feeling like it's less work in the long run to have the errors that inevitably happen when I slip up take so much more effort to debug.