True but it's really nice way to get the benefit of type checking in Python.

Just like you, I had started using Cython for performance but then realized that I can discard a bulk of type errors if I used for type checking.

The other benefit is that the Python library ecosystem stays available.