The Comonad Reader опубликовал целую таблицу схем рекурсии (ката-,пара-, ана- и прочие морфизмы) с примерами из category-extras.

P.S. Для тех, кто не в курсе: сабж родом из Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire