katamorphism

not defined yet