ana that can branch / short-circuit
hylo of futu into histo
hylo that can short-circuit on reduction
hylo that can short-circuit on construction
ana that can build multiple levels in a single pass
cata that retains values of all previous (i.e.
cata that retains values of all previous (i.e. child) steps
ana with immediate cata
cata that has access to current subtree (Fix[F]) as well as that subtree's folded result (A)
ana that creates a structure, transforming each new child (i.e.
ana that creates a structure, transforming each new child (i.e. the entire structure as exists at the end of a pass). Top-most structure (i.e. the end result) is not transformed. Inside to outside.
cata that transforms children before folding.
cata that transforms children before folding. Top-most structure (i.e. the input) is not transformed. Outside to inside.