More on ana and cata-morphisms.