Articles in this series
26일에 수면 패턴이 완전히 깨져서 되돌릴 겸 새벽에 HKT(Higher Kinded Types) 지원 관련 구현을 했다. 사실 HKT를 잘 구현하기 위해서는 기존 타입 시스템의 상당 부분을 갈아엎을 필요가 있어서, type checker / declarer 코드를...