2 ms·

Type elision or similar is available in many statically typed languages, and has been for a long while.