3 ms·

I feel like this is more of a tooling thing? E.g. I want IDE tooling that can infer type adjustments when I'm doing a refactoring.