very simple letrec compiles