κατα-morphism ------------- catamorphism