- `{A:Category}`{B:Category}`{C:Category}
- {F0obj}{F0:Functor A B F0obj}
- {F1obj}{F1:Functor A B F1obj}
- {G0obj}{G0:Functor B C G0obj}
- {G1obj}{G1:Functor B C G1obj}
+ `{A:Category}`{B:Category}
+ {F0obj}(F0:Functor A B F0obj)
+ {F1obj}(F1:Functor A B F1obj)
+ `{C:Category}
+ {G0obj}(G0:Functor B C G0obj)
+ {G1obj}(G1:Functor B C G1obj)