; ex 2.4

; ex 2.5

(define (power x n)
  (define (power-iter r c)
    (if (= c 0)
        r
        (power-iter (* r x) (- c 1))))
  (power-iter 1 n))

(define (cons a b)
  (lambda (m) (m a b)))

(define (car z)
  (z (lambda (p q) (power 2 p))))

(define (cdr z)
  (z (lambda (p q) (power 3 q))))

; 2.1.3

(define (cons x y)
  (define (dispatch m)
    (cond ((= m 0) x)
          ((= m 1) y)
          (else (error "error"))))
  dispatch)

(define (car z) (z 0))

(define (cdr z) (z 1))