added indexed adjunctions, so we can eventually kill curried