Provide FunctorToFunctor2, FunctorToFunctor3