Renamed reactive catamorphs.