I like the idea of having type checking moved out of the watch path, or at least be in a second window watching, so building is faster. But you get your type checking errors too.
You also have the editor finding issues for you, which is where I want that caught.
Yes this seems like an excellent performance boost to development. Parallelize type checking and compilation. We all have these many-core machines now, and so many tools that single thread the world unnecessarily.