Определить функцию высшего порядка (vstavka f x y), добавляющую элементы списка х к списку у, не нарушая его упорядоченности

(defun ins-in-order (lst fp a)
   (cond ((null lst) (list a))
         ((funcall fp (car lst) a) (cons a (cons (car lst) (cdr lst))))
         (t (cons (car lst) (ins-in-order (cdr lst) fp a)))))
 
==> ins-in-order
 
(ins-in-order '(11 22 33 44 55 66) '> 25)
 
==> (11 22 25 33 44 55 66)
 
(ins-in-order '(11 22 33 44 55 66) '> 125)
 
==> (11 22 33 44 55 66 125)

(defun ins-in-order (lst fp a)  ;; параметры: lst - список, fp - предикат, a - вставляемый атом
   (cond ((null lst) (list a))  ;; вставка a в пустой список дает (a)
         ((funcall fp (car lst) a) (cons a (cons (car lst) (cdr lst)))) ;; если предикат, применённный к голове списка и атому a дает истину - вставляем a перед головой списка и выходим
         (t (cons (car lst) (ins-in-order (cdr lst) fp a))))) ;; иначе сохраняем голову и рекурсивно применяем функцию к хвосту списка

(defun ins-in-order (lst a &optional (fp '>))
   (cond ((null lst) (list a))
         ((funcall fp (car lst) a) (cons a (cons (car lst) (cdr lst))))
         (t (cons (car lst) (ins-in-order (cdr lst) a fp)))))
 
==> ins-in-order
 
(defun merge-lists (x y)
  (cond ((null x) y)
        ((null y) x)
        (t (merge-lists (ins-in-order x (car y)) (cdr y)))))
 
==> merge-lists
 
(merge-lists '(11 22 33 44) '(12 23 34 45))
 
==> (11 12 22 23 33 34 44 45)  ;; оно?