On Fri, 9 Nov 2012 20:57:42 +0000 (UTC) Manfred Nowak <svv1...@hotmail.com> wrote:
> Rob T wrote: > > > What is happening however, is that the templates are not doing > > what would be expected if the type was introduced manually > > The expectations might be wrong. > > With Templates one is able to introduce recursive definitions of > types into the type system. As with recursive functions, the feedom, > thereby generated, can introduce relaxation as well as strain. > One is indeed *able* to do that with templates, but the OP never actually did so, so I really don't see the relevance.