0
I'll define template <typename...> class VariadicTree with the following example:
VariadicTree<A,B,C,D,E,F,G,H,I,J,K,L,M,N,O> is a binary tree whose type for insertion, removal, searching, etc... is A. But it will also accept insertions, removals, searches, etc... of objects
of type B,C,D,E,F,G...