While I agree compile time is a big issue, I think the focus should really be on incremental build, because considering how much work the Haskell compiler has to do, it is expected to be quite slow on full build.

But incremental build has no reason to be slow, if the scope is as fine-grained as the function and type level.