pairs

RMap

parent

Empty Inner Leaf Node Empty Inner Leaf Node

parent_=

Empty Node Empty Node

propagate

Entry

push

AbelianCatamorph CommuteCatamorph MonoidCatamorph RCatamorph SignalCatamorph

pushUp

Empty Inner Leaf Node Empty Inner Leaf Node