Catamorphism
cata f は別の記法 ( | f | ) {\displaystyle (\!|f|\!)} と記されることがある。使用されている開いた括弧は「バナナ括弧」として知られ、Meijer 1991などで記載された後は、Catamorphismは時に「バナナ」と呼ばれる。