7.3 p71 letrec