4 ms·I might be missing the point but isn’t this what we use mypy et al for today?by _cairn 9mo agoI might be missing the point but isn’t this what we use mypy et al for today?