こんなマクロ書いたとして
(define-syntax sample
(syntax-rules ()
((_ (a ...) b)
'(a ... . b))))

こう使うと…
(sample () d)

こうなる
'd

素直に解釈するとマクロ変数 a がはからっぽで b には d が入ったわけだから
マクロ展開の結果は '( . d) なはず。
これが 'd ということになるのはなんだか不思議な気がする。