Clojure Реализация ф-ций CONS, CAR, CDR (Sheme,CLisp)

define (cons x y)
(define (dispatch m)
(cond ((= m 0) x)
((= m 1) y)
(else (error "Аргумент не 0 или 1 -- CONS" m))))
dispatch)
(define (car z) (z 0))
(define (cdr z) (z 1))

(defun cons(x y) 
(defun dispatch (m)
(cond 
((eq m 0) x)
((eq m 1) y)
((and(not (eq m 1))(not(eq m 0))) "Аргумент не 0 или 1")
))
)
(defun car(z)(funcall z 0))
(defun cdr(z)(funcall z 1))

(defvar m 0)
(defvar x 0)
(defvar y 0)
(defun dispatch (m)
(cond 
((= m 0) x)
((= m 1) y)
((> m 1) "Arg is not 0 or 1")
))
(defun cons(x y) (dispatch m))
(defun car(z)(funcall z  0))
(defun cdr(z)(funcall z  1))

? (car (cdr (cons 1 (cons 2 3))))
2

(defn f-cons (x y) 
    (lambda (m)
        cond (= m 0) x
             (= m 1) y
             "Аргумент не 0 или 1"))
(defn f-car (z) z 0)
(defn f-cdr (z) z 1)
=> OK
(f-car (f-cdr (f-cons 1 (f-cons 2 3))))
=> 2

(defn f-cons (x y) 
    (lambda (m)
        cond (= m 0) x
             (= m 1) y
             "Аргумент не 0 или 1"))
(defn f-car (z) z 0)
(defn f-cdr (z) z 1)

defn f-cons [x y]

(def defmacro (macro (name args body) (def name (macro args body))))
(defmacro defn (name args body) (def name (lambda args body)))

(defn f-cons (x y) 
    lambda (m)
        cond (= m 0) x
             (= m 1) y
             "Аргумент не 0 или 1")

(defn f-cons (x y) 
    lambda
    (m)
    cond
    (= m 0)
    x
    (= m 1)
    y
    "Аргумент не 0 или 1"
)