Хочется примерно следующего: для типов, у которых есть typedef определённого имени — вызывать один вариант функции, у которых не определён — другой. Что-то вроде enable_if<has_typedef<T::some_type_name>::value>.
Желательно, чтобы работало это так: есть иерархия, в одном из её далёких предков я определяю typedef — и вуаля, машинерия заработала для всех потомков (что-то мне подсказывает, что с этим могут быть проблемы — вроде бы базовые тайпдефы при обработке потомков в шаблонах не учитываются — или я путаю что-то...)
