4.5.1 �^�C�v����

�f�[�^���^�C�v���t����attach-type�C �f�[�^���^�C�v������type, �f�[�^�����e�� ����contents���������������C

(define (attach-type type contents)
  (cons type contents))

(define (type datum)
  (if (not (atom? datum))
      (car datum)
    (error "Bad typed datum -- TYPE" datum)))

(define (contents datum)
  (if (not (atom? datum))
      (cdr datum)
    (error "Bad typed datum -- CONTENTS" datum)))

�����������D