(cl-labels
    ((for (alis arg acod)
          (cl-labels
              ((f0 (l c a r)
                     (if l
                         (f0 (cdr l) c a (eval (append (list (append '(lambda) c) 'l 'r) a)))
                       r
                       )
                     ))

            (f0 alis acod arg nil)
            )
          )
     )

  ;; не работает потому что иди нахуй.
  (for '((0) (1))
       '(0)
       '((l r a)(for '((0) (1)) '(9) '((l0 r0 a0)nil) )))

  ;; работает
  ;; (for '((1)(2)(3)) '(0) '((a b c)(cons c (cons (car a) b)) ) )
  ;; => (0 (3) 0 (2) 0 (1))
)