applicativeId traversableEndoFunctor