Catamorphism
次の例は Haskell によるもの。
ここで、foldTree (f, g) はデータ型Tree a の catamorphism で、 treeDepth とsumTree は代数と呼ばれる。