2 ms·

Well, I assume they're at least used at type-checking time, which most people consider to be a subset of compile time.