4 ms·

We're still waiting for the Big Functional Language that will actually provide a noticeable benefit in correctness in a real world context.