Post

More new (to me) mypy alternatives

so I guess we will run

`mypy . && ty check . && pyrefly .`

https://github.com/facebook/pyrefly/