평가하고 있는 항을 또 평가해야할 때 발생하는 거임?
Eval 키워드 실행할 때 스택의 탑을 평가 중이라고 메모해두고,
코드를 다 읽어서 환경을 복구해야할 때 메모를 없애는 식인가?
이렇게 하면 let x = x + 1 in x 같은 건 loop exception 던질 듯.

그나저나 기술력이 부족해서 TypeChecker랑 Desugarer는 못 만들겠다.
Typing Haskell In Haskell 논문 읽었는데도 못 만드는 건 내가 코드몽키임을 증명하는 것 같다.
그냥 토크나이저랑 파서만 구현해서 돌아가게만 만들고 릴리즈해야지.

- dc official App