如何检查嵌套模板的类型？

I'd like to create a type trait which detects the existence of a nested class template within some other type of interest.I'd like to create a type trait which detects t