3 ms·

I would imagine now is when the Haskellers start claiming that laws wouldn't need to be tested if they had a good enough type system. :-P