Goal "xs @ [] = xs";
