promote adjunctions to nearer the top, demote Prod to the bottom