A friend once showed me a paper on a compile-time interactive debugger for template errors. That feels so wrong ;)