lfold :: b -> (a -> b -> b) -> [a] -> b lfold c h l = case l of [] -> undefined x : xs -> undefined
partition, append (++), reverse