../../Task/Catamorphism/Pascal