Názor k článku Makra v Racketu i v dalších lispovských jazycích od Pavel Tišnovský - To cdr se expanduje z makra loop, takže...

To cdr se expanduje z makra loop, takže přímo ve zdrojáku to vidět není, po expanzi ano. Samotný kód toho loop makra je ale složitý, viz například asi nejklasičtější implementace https://sourceforge.net/p/clisp/clisp/ci/default/tree/src/loop.lisp