Folding left and right over Peano numbers. (2019)