Do we really need this? I'd rather improve the type checker of some heavily used existing language