../../Task/Catamorphism/Ring