2 ms·

You applied global optimization, which I wish we could do more often. Part of the type system should encode how long the fn call is allowed to take.