Create your own!
"I've rewritten Skipper's for loops using catamorphisms!" exclaims Barbie. "Fantastic!" says Steven. "And the generators as well?" "Yes, as anamorphisms" says Barbie. "Now let's look at the correctness guarantees this gives us!"