beautify catamorphism