Hacker News Reader

But then an otherwise small change might result in changes to type annotations all over a code base.

Again, I find refactoring tools handle this well, and also this is kind of the point for me - I want to see the effect of type changes.