Add a new implementation of left_fold.