Pyrefly is better than ty for my use cases. Maybe ty will get there some day.