하스켈 타입-체커 개발자이신 richard eisenberg 교수님의 목표 중 하나라던데