Template specialization for type traits where the type change depending on conditional

Question

Assume we have a given class ABC that is templated with k and v:

template 
using ABC = AnotherClass

I k