Let's try to establish sufficient conditions for two catamorphisms two compose.
Any catamorphism will quite happily be composed with length, double and map f because they yield their data structure without looking at the child results.