Why do you believe that static types are ultimately a failure?

I strongly disagree. Static types are a huge success. The problem here is essentially that they named things badly.

Better than simply not encoding the actual invariants you care about.