Add useful property to Prelude.Vect: xs ++ [] = xs