;;;;

;(define-type seq (or list vector string linear-sequence random-access-sequence))
(define-type seq *)

(define-type binary-predicate ('a 'a --> boolean))

(define-type alist (list-of pair))