[universal-property-of-catamorphisms.png]