(deftype pair (&key (car 't) (cdr 't))
  `(cons ,car ,cdr))