5 ms·

While I agree - this particular alternative is worse - it's not the only alternative. I was talking about more expressive type systems, not less.