4 ms·

Always felt too tacked on. My opinion is that type systems can’t really work after the fact, need to be 1st class within the language.