../../Task/Catamorphism/D