재귀 구현을 위해 Y combinator를 올바른 항으로 선언할 수 있게 타입 검사기를 고쳤으나 TyApp이 구현되어 있지 않아 안타깝게도 실행할 수 없다. 슬픈 일이다.

0