I've spent a little time considering what this class of things would be. It's like trying to turn a forgetful functor into a homotopy transformation and having

I've spent a little time considering what this class of things would be. It's like trying to turn a forgetful functor into a homotopy transformation and having some kind of universal measure of the distance from the end of the transformation.