dependent type을 이용한 세련되고 우아한 프로그래밍




절망편:



시발 ㅋㅋㅋㅋㅋ