Reordering C++ template type parameters for usability purposes, and type deduction from the future