Is it possible to specialize alias templates? Something like this:
template ??? TypeAlias; template<> using TypeAlias = Conc