Now can do 2cells, e.g. A \rtwocell^{F}_{G}{h} & B