Update the example with AppendLists, by deforestation of Difference Lists