BTW, today I implemented `syntax->list` using a `syntax-case`. I needed it to get a list of values from args pattern variable of (arg1 args ...) pattern.
And only now I realized that I don't actually need it, because #'(args ...) is already a list in Guile.
It solves my previous question about syntax->list I had last week:
https://fosstodon.org/@abcdw/114018596208278873