The method of straightening and unstraightening produces, for instance, an equivalence between left fibration and copresheaves. The construction seems very intricate. But what is the need for this construction? Are there functors that cannot be easily constructed directed as a copresheaf and we must resort to this straightening procedure? Or am I missing the point of this correspondence and it's supposed to be important for another reason?