If your point was literally "no amount of static typing can save you from implementing badly-designed software" then yes, that's correct and beyond challenge. I perceived a hint of "and therefore we may as well just use dynamic types" or "but proponents of static types are too ideological to accept this" in your subtext. I apologise if I was mistaken in my perception.