Conor also calls these functors: http://strictlypositive.org/slicing-jpgs/ "The fixpoint construction builds recursive types (think trees) from functors by identifying superstructures with substructures: each node frames its children. "