Incremental type-checking is a graph problem wearing a compiler costume. We rebuilt ours around a demand-driven query engine and cut editor latency from 3 seconds to 40 milliseconds. This is the architecture, the wrong turns, and the benchmarks.