[Haskell-cafe] When is a composition of catamorphisms a catamorphism?