../../Task/Catamorphism/Maxima