http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4235.htm

There are lots of very basic manipulations that are either really hard or impossible to do with argument packs unless you use something that causes a big recursive template instantiation, which is expensive at compile-time and can cause bad error messages. I want to be able to index argument packs with integral constant expressions, "take" or "drop" the first N elements of the pack, etc.

In Bristol 2013: N3493 may solve parts of the problem. The submitter is encouraged to write a paper, and practical examples are desirable.

N3761 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3761.html seems related.

Discussed in Rapperswil 2014. Vandevoorde expressed desire to write a paper.

The work done by George Makrydakis at https://github.com/irrequietus/atpp is related.

Discussed in Urbana. The author is encouraged to revise.