I feel similarly. At some point in the past, many static type systems were not expressive enough to handle some of the useful strategies available to dynamic type systems.

But nowadays, pretty much all static type systems employ some (or multiple) convenient methods of polymorphism