take : (m : Fin 3) -> Vect 2 Nat -> Vect (finToNat m) Nat