3 ms·

And subtle bugs often arise out of edge cases, and edge case issues aren't caught by most type systems.