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. " _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe