first stab at removing indexed adjunctions completely