Folding Cheat Sheet #1 - Folding over recursively defined data structures for natural numbers and lists