Folding left and right over Peano numbers. (17th April 2019)