Шаблоны и вложенные классы - синтаксис

template <class T> Tree
{
    template <class ValType> class Node;
    Node<T> root;
    //...
};
//Реализация Node
template <class T> template <class Valtype> class Tree<T>::Node<Valtype> //? уже вопрос, но студия характеризует полное имя этого класса так
{
    Node<Valtype> * left; //тут совсем встрял, компилятор выдает ошибки
// (например, "Node не является шаблоном (???)", ничего не проясняющие и кажется,
// мало связанные с истинной проблемой, аналогично и на Tree<T>::Node<Valtype> * left;
 
}

template <typename T> struct Tree
{
    template <typename Valtype> struct Node
    {
        Node<Valtype> *left;
    };
 
    Node<T> root;
};

template <typename T>
struct A
{
    template <typename U>
    struct B
    {
        B();
    };
};
 
template <typename T>
template <typename U>
A<T>::B<U>::B()
{
    std::cout << "Hello world!\n";
}

template <class ValType> class Node;
Node<T> root;

//Реализация Node
template <class T> template <class Valtype> class Tree<T>::Node<Valtype>

template<typename T>
class list
{
protected:
    struct node
    {
        T data;
        node *previous,*next;
        node() : previous{ nullptr }, next{ nullptr } {};
    };
    node* head;
    unsigned short numberOfItems;
public:
    list() : head(nullptr),numberOfItems(0) {}
    ~list();
    void addToBegin(const T& item);
    void addToEnd(const T& item);
    bool addToNpos(const T& item,unsigned short number);
    bool removeItem(unsigned short number);
    bool show() const;
    unsigned short getNumbOfItems() { return numberOfItems; }
    const T& operator[](int);
    class iterator;
    iterator begin();
    iterator end();
};

struct iterator : std::iterator<std::bidirectional_iterator_tag, T> {
 
   using iterator_category = std::bidirectional_iterator_tag;
   using value_type        = T;
   using pointer           = value_type *;
   using reference         = value_type &;
   using difference_type   = std::ptrdiff_t;
 
   iterator() = default;
 
   pointer operator ->() const noexcept;
 
   reference operator *() const;
 
   iterator & operator ++() noexcept;
   iterator operator ++(int) noexcept;
 
   iterator & operator --() noexcept;
   iterator operator --(int) noexcept;
 
   bool operator ==(iterator const& other) const noexcept;
   bool operator !=(iterator const& other) const noexcept;
 
private:
   explicit iterator(node * current) noexcept;
 
   node * current;
};

template<typename T>
class list<T>::iterator
{
    node* pointer;
public:
    iterator() : pointer{ nullptr } {}
    const iterator& operator=(const iterator&);
    iterator& operator++();
    iterator& operator--();
    iterator operator++(int);
    iterator operator--(int);
    iterator operator+(int) const;
    iterator operator-(int) const;
    bool operator!=(const iterator& pr) const { return pointer != pr.pointer; }
    T& operator*();
    const T& operator*() const;
    friend typename list<T>::iterator list<T>::begin() const;
    friend typename list<T>::iterator list<T>::end() const;
};

template<typename T>
class list<T>::iterator
{
    node* pointer;
public:
    iterator() : pointer{ nullptr } {}
    const iterator& operator=(const iterator&);
    iterator& operator++();
    iterator& operator--();
    iterator operator++(int);
    iterator operator--(int);
    iterator operator+(int) const;
    iterator operator-(int) const;
    bool operator!=(const iterator& pr) const { return pointer != pr.pointer; }
    T& operator*();
    const T& operator*() const;
    friend typename list<T>::iterator list<T>::begin() const;
    friend typename list<T>::iterator list<T>::end() const;
};

struct iterator : std::iterator<std::bidirectional_iterator_tag, T> {
   // ...
};