By adding types back in :) mypy and pyright are fantastic. It's very much productive to annotate types. Debugging or extending untyped code is quite unproductiv

By adding types back in :) mypy and pyright are fantastic. It's very much productive to annotate types. Debugging or extending untyped code is quite unproductive, not just for future you but for anyone else, amplifying the inefficiency.