We explore several ways of folding over a binary tree, and illustrate their use to solve programming exercises on Calder's mobiles, focusing on algorithms that perform a single tree traversal.
Dedicated to Olivier Danvy on the occasion of his 64th birthday.