The more nuanced and better side of that is that any language is better without badly designed and badly implemented generics.

Maybe the even more nuanced side is that a language that can't conjure a safe and well designed generic has a badly designed type system in the first place

That sounds axiomatic.

How would you define "badly designed?" I can imagine a context where the "well designed" type system is very plain.