idris-0.9.13: test/reg043/expected

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