Append!

We have:

f xs ys = case xs of
    []   -> ys
    z:zs -> (z : xs) : f zs ys