To be a little more clear, in a language where static typing was mandatory, there would obviously be no need for dynamic type checking of those same types. But

To be a little more clear, in a language where static typing was mandatory, there would obviously be no need for dynamic type checking of those same types. But since Python's static typing is optional, dynamic type checking at runtime is not redundant.