some sketch of catamorphism function can be derived from metacatamorphim for now