Many constructions in homotopy theory are special cases of pushouts. Although when being defined sometimes it may be clearer to define the construction as a seperate higher inductive type and then later on prove it is equivalent? to the pushout definition.