Передача класса в качестве параметра шаблона

template <class T> class myFRWDit
{
T *FRWit;
public:
 myFRWDit(T *a=NULL):FRWit(a) { } 
//всякие методы
};
template <class T > class myBDit
{
myFRWDit<T> current; //текущий элемент
myFRWDit<T> start; //начальный элемент
int dist; //сколько от текущего до начала
  public:
        myBDit(myFRWDit <T> &FRWit)
        {
            current=FRWit;
            start=FRWit;
            dist=0;
 
        }
//и тут всякие методы
};

template <class T>
class A
{   
public:
    typedef T innerType;
    T a;
};
 
template <class T>
class B
{
    T current;
    T start;
    A::innerType value;
};
int main()
{
    B<A<int>> arr;
}

#include <iostream>
#include <cstddef>
 
template<class T> class myFRWDit
{
    T *FRWit;
public:
    typedef T value_type;
    
    
    myFRWDit(T *a=NULL):FRWit(a) { } 
};
 
 
template <class T > class myBDit
{
    T current;
    T start;
    size_t dist; 
    
    
    static_assert(
        std::is_class<T>::value,
        "ERROR: T must be myFRWDit<type>"
    );
    
    static_assert(
        std::is_same<myFRWDit< typename T::value_type >, T>::value,
        "ERROR: T must be myFRWDit<type>"
    );
    
    
public:
    myBDit(const T& FRWit)
        :current(FRWit)
        ,start(FRWit)
        ,dist(0)
    {}
 
};
 
int main()
{
    std::cout << "Hello, world!\n";
    
    myFRWDit<int> fit;
    
    myBDit< myFRWDit<int> > bit(fit);
}

static_assert(
        std::is_class<T>::value,
        "ERROR: T must be myFRWDit<type>"
    );
    
    static_assert(
        std::is_same<myFRWDit< typename T::value_type >, T>::value,
        "ERROR: T must be myFRWDit<type>"
    );

static_assert(
        std::is_class<T>::value,
        "ERROR: T must be myFRWDit<type>"
    );