I'm not able, nor am I experienced enough, to champion this for you - but I'd like to share my support. I'm been looking forward to this ever since your original thread - particularly being able to write SomeType<OtherType::Ts...>, which currently isn't possible. It could open up many interesting simplifications.