> the compiler is unable to type-check this expression in reasonable time

good: clear, honest communication
bad: that means the language design is a bit fucked, right? I shouldn't be seeing this several times a day.