Also curry index arguments of eliminators.