a6 - letrec for #4