(define f (lambda (...) ...))
を
(define (f ...) ...)
と書けるのと同様の syntax sugar が letrec にも欲しいってことか?