Is there a way to declare types in a base class template and re-use those definitions in the child class template?
For example, consider the following attempt:
