If we define a template which takes a template template parameter,
we're required to specify the number and kind (type, non-type,
template) of parameters the template template parameter takes.

I'm curious to know why this approach was chosen, rather than allowing
us to say that our template takes "any template" and validating our
use of that template in the context of particular instantiations.

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]