힌들리 밀러 추론 사용하는 애들이 추론 좋다 얘기 듣는데
사실 추론의 퀄리티는 타입 시스템 자체의 부산물임