Rewrite the NatTr product adjunctions