That sounds impressive but I feel like this might be a misunderstanding of Python.

You can break almost any python code by passing in the wrong type. The code throwing runtime type-errors IS the type checking.

The danger is only if the code happily operates on the wrong types and returns incorrect results.