Proper Template Instantiation DFS (hopefully)