변수 간의 종속성을 확인해서 Let 바인딩을 재작성하는 걸 어떻게 구현해야될지 모르겠음.
f a = letrec b = a + 1; c = b + 1; in c를
f a = let b = a + 1; in let c = b + 1; in c로 바꿔야 하는데
책에 있는 코드가 이해가 안 돼서 미치겠음

- dc official App