no = xs ++ [x] ++ ys