Difference list: a list-like data structure with O(1) concatenation.