s/Functor1/Post Functor/ etc. shuffled to introduce limits first for pedagogical reasons