instance DecEq (Vect n a)