Inferring type and class when passing a pointer to data member as a non-type template argument

Question

I need to pass a pointer to data member, its type and the class it\'s a member of, to a template struct. The following works:

template