\xs -> [1,2,3] ++ xs -- [1,2,3]の差分リスト版 ([1,2,3] ++) -- 同上 \xs -> [] ++ xs -- []の差分リスト版

f `append` g = \xs -> f (g xs)