We could thus in theory collapse all functors sharing the same structure into a single more abstract functor.
we refrain from doing so because the functor labels convey additional information that is useful for other purposes.