Annotated C++ template parameter packs