If you're looking for a car analogy, I would suggest comparing Python type checking to installing speed cameras on the factory floor.
At this point you either did check the breaks, or did not. If not you are out of luck if the breaks did infact not work.
Type systems should be treated like maths, its either correct, or not. In the end, a typesystem is basically just that, its math behind the scenes, more specifically a genre of maths called category theory.
