http://comonad.com/reader/2008/recursion-schemes/ Катаморфизм, зигоморфизм, хиломорфизм — все это есть, для кое-чего есть и реализация на Хаскеле. Думаю, будет пополняться.