Don wrote: > The problem is, I'm not sure that it's feasible in general. At least, > it's not obvious how to do it. C++0x Concepts tried to do it in a limited form, and it got so complicated nobody could figure out how it was supposed to work and it capsized and sank. I don't think it's possible in the more general sense.