Difference lists are a way of encoding a list as the action of preappending them