Tupling of catamorphisms yields a catamorphism (1990)

by M M Fokkinga