It is a massive failure, and it would be solved by static types. I could take a big, unmaintained 10 years old Haskell codebase and upgrade it to the newest co

It is a massive failure, and it would be solved by static types. I could take a big, unmaintained 10 years old Haskell codebase and upgrade it to the newest compiler and libraries in a couple of days, at most (and it would most likely work on the first try after it compiles).