C++ Language/Templates/Metaprogramming/CollectionOfTypes
Some template-metafunctions may compute a type (or even a collection of types) as their template-metareturn.
For these template-metafunctions, the established convention is to name that result type
(a nested type alias).