started functor composition