../../Task/Catamorphism/Zkl