Which tells us something about the nature of the bugs we will find in our programs. The type-checker prevents certain classes of bugs, inconsistencies in types

Which tells us something about the nature of the bugs we will find in our programs. The type-checker prevents certain classes of bugs, inconsistencies in types, lots of silly typos and mistakes. But it doesn't fix errors in our logic or algorithms. The type-checker doesn't know you should have added instead of multiplied, nor does it fix conversion errors at the borders of our programs where we, say, write a Haskell data structure into a JSON file.