update catamorphisms