(define nth-vector
   1 (@v X _) -> X
   N (@v _ Vector) -> (nth-vector (- N 1) Vector))