Describes a "fold" function for a list written in a continuation-passing style. This gives the advantage to control the recursion with the ability that we don't need to traverse the full data-structure if needed.