#lang typed/racket (: vector-first (All (A B) ((U (Vectorof A) (Vectorof B)) -> (U A B)))) (define (vector-first vs) (vector-ref vs 0))
I can't think of a reason this shouldn't work, but I may not be taxing my imagination enough to come up with one.
Neil ⊥ _________________________ Racket Developers list: http://lists.racket-lang.org/dev