Лексические закрытия по макропозволенному?

Существует ли способ сделать, что-то как лексическое использование закрытий макропозволило? То, что я хочу сделать, делают следующий макрос локальным рекурсивным помощником, который вызывает функцию на каждой комбинации вместо того, чтобы генерировать список, поскольку это делает теперь вызов макроса в результатах repl в:

CL-USER> (combinations nil '(1 2 3) '(4 5 6))
((1 4) (1 5) (1 6) (2 4) (2 5) (2 6) (3 4) (3 5) (3 6))

То, что я хотел бы, является макросом, который берет функцию и любое количество списков и приводит к вложенным циклам, которые вызывают функцию на каждой комбинации. Я довольно плохо знаком с шепелявостью, это - первый макрос, который я записал вне клонов 'nif' и т.п., таким образом, любые предложения ценятся.

Я попытался превратить макрос в макропозволенный в макросе, который берет функцию, и строка' (nreverse (список, объект ,@vars))' заменяется' (func (nreverse (список, объект ,@vars)))', но я получаю ошибки, говоря, что func является неопределенной переменной или функцией.

Это - исходная функция:

(defmacro combinations (vars &rest lsts)
  (with-gensyms (item)
    `(loop for ,item in ,(car lsts) ,(if (null (cdr lsts)) 'collecting 'nconcing)
       ,(if (null (cdr lsts))
            `(nreverse (list ,item ,@vars))
            `(combinations (,item ,@vars) ,@(cdr lsts))))))

Это - то, что я попробовал макропозволенным и получаю неопределенную функцию 'func' ошибки.

(defmacro for-all-combonations (func &rest lst)
       (macrolet ((for-all (vars &rest lsts)
                    (with-gensyms (item)
                      `(loop for ,item in ,(car lsts) ,(if (null (cdr lsts)) 
                                                           'collecting 'nconcing)
                            ,(if (null (cdr lsts))
                                 `(func (nreverse (list ,item ,@vars)))
                                 `(for-all (,item ,@vars) ,@(cdr lsts)))))))
         (for-all nil lst)))