In (with-syntax ([keys (cdr ids)[) ...) the pattern keys is bound to a syntax object representing a list (the result of (cdr ids)).
Within the template that begins with #' the pattern variable keys will be replaced by the syntax object to which it is bound - that is, it will be replaced the the identifiers from (cdr ids).
