3 ms·

OTOH, if you're a Prolog programmer and you write a type checker, you rather quickly realize what's going on ;-)