Implement vector destructuring from tail