Comment by StackTopherFlow

Have you tried beartype? It's worked well for me and has the least overhead of any other runtime type checker.

https://github.com/beartype/beartype