3 ms·

Option types do not defy the purpose of typing. Optionality as a type constraint is a reason for static typing.