4 ms·Do we really need this? I'd rather improve the type checker of some heavily used existing languageby _s_a_m_ 4mo agoDo we really need this? I'd rather improve the type checker of some heavily used existing language