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. -manfred