;;;; (define-type seq-basic (or list vector string)) (define-type seq * #;(or seq-basic linear-sequence random-access-sequence)) (define-type binary-predicate ('a 'a --> boolean)) (define-type binary-equality (* * --> boolean)) ;useless since 'a is a "local" ;(define-type accumulator/1 (* 'a --> 'a) (define-type alist (list-of pair))