liftingToAFunctor
FunctorSection