I think the Unquote-splicing section would be much easier to understand if you showed the same example without using unquote-splicing. It may not compile, but I didn't understand what ~@ did because I wasn't given a sense of what would happen if you didn't use it.