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

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.