Pyrefly actually does have (experimental) support for Pydantic! https://pyrefly.org/en/docs/pydantic/