But applying f (n+1) times to z *is* the catamorphism or fold for Nat (which essentially turns the Peano structure into Church Numerals)