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