Catamorphisms and eliminators.