Не получается исправить шаблон: error: incomplete type is not allowed

val=_some_np<first>::template check<T::endmeths::prev>::val

template<typename T>
struct some_np {
 
    template<int I> struct _some_np {
        template<typename M>struct check {
            enum {val=I};
        };
    };
    template<> struct _some_np<-1> {
        template<typename M>struct check {
            enum {val=-1};
        };
    };
    template<> struct _some_np<-2> {
        template<typename M>
        struct check {
            enum {
                stop = M::prev::val==-1? 1 : 0,
                some = M::nParam == M::prev::nParam ? 1 : 0,
                next = stop ? M::nParam : (some ? -2 : -1),
                val  = _some_np<next>::template check<M::prev>::val,
            };
        };
    };
    enum {
        first=T::endmeths::prev::val==-1 ? 0 : -2,
        val=_some_np<first>::template check<T::endmeths::prev>::val
    };
};

template<int I> struct _some_np {
    template<typename M>struct check {
        enum {val=I};
    };
};
template<> struct _some_np<-1> {
    template<typename M>struct check {
        enum {val=-1};
    };
};
 
template<> struct _some_np<-2> {
    template<typename M>
    struct check {
        enum {
            stop = M::prev::val==-1? 1 : 0,
            some = M::nParam == M::prev::nParam ? 1 : 0,
            next = stop ? M::nParam : (some ? -2 : -1),
            val  = _some_np<next>::template check<M::prev>::val,
        };
    };
};
 
template<typename T>
struct some_np
{
    enum
    {
        first=T::endmeths::prev::val==-1 ? 0 : -2,
        val=_some_np<first>::template check<T::endmeths::prev>::val
    };
};