catamorphsim functions derived from metacatamorphisms is tested for now