4 ms·

Even Lean 4 strong typing