`ty` is in beta now and promises much faster checks than `mypy`. Should we migrate? Any experiences with `ty`? Stumbled over this migration guide on social media: [link](https://pydevtools.com/handbook/how-to/how-to-migrate-from-mypy-to-ty/)
