4 ms·

I'm not sure I can name another language with coherence, dependant types or not. To be fair, even GHC is half-hearted about it.