Шаблонный struct и указатель на его поле

template <typename T>
struct TwoLimbs {
    T Left;
    T Right;
};

struct StepParams
{
    template<typename T>
    T TwoLimbs<T>::*Act;
 
    template<typename T>
    T TwoLimbs<T>::*Sup;
};

StepParams sp
sp.Act = TwoLimbs<???>::Left;

#include <iostream>
 
template <typename T> struct TwoLimbs 
{
    T Left;
    T Right;
};
 
template <typename T> struct StepParams
{
    using type = TwoLimbs<T>;
    T type::*Act;
    T type::*Sup;
};
 
int main()
{
    TwoLimbs<int> src { 1, 2 };
    
    using x = StepParams<int>::type;    
    StepParams<int> p { &x::Left, &x::Right };
 
    std::cout << "before:\n"
              << "  src.Left: "  << src.Left  << '\n'
              << "  src.Right: " << src.Right << '\n';
   
    src.*p.Act = 3;
    src.*p.Sup = 4;
 
    std::cout << "after:\n"
              << "  src.Left: "  << src.Left  << '\n'
              << "  src.Right: " << src.Right << '\n';
}

struct StepParams
{
    template<typename T>
    T TwoLimbs<T>::*Act;
    ...

struct StepParams
{
  template<typename T>
  static inline T TwoLimbs<T>::*Act = &TwoLimbs<T>::Right;
 
  template<typename T>
  static inline T TwoLimbs<T>::*Sup = &TwoLimbs<T>::Left;
};