∀ {U : Type u_1} {V : Type u_2} {W : Type u_3} {Z : Type u_4} [inst : Quiver U] [inst_1 : Quiver V] [inst_2 : Quiver W]
  [inst_3 : Quiver Z] (F : U ⥤q V) (G : V ⥤q W) (H : W ⥤q Z), F ⋙q G ⋙q H = F ⋙q (G ⋙q H)