../../Task/Catamorphism/DCL