C++ templates, хочется странного

может void (*f)(T::Foo ) ?

Дело не в этом. А в T::Foo.

Так второй параметр шаблона у тебя ничего нового же не указывает. Или Foo тоже является параметризованным типом?

Подразумевается, что в T есть typedef Foo. Нужно протащить в шаблон функцию, у которой это T::Foo встречается в сигнатуре.

typename

Нет: http://ideone.com/MrFQ0

Или что-то другое имелось в виду?

Ну typename T мне больше нравится, чем class T, но я имел в виду typename T::Foo.

http://ideone.com/xnE4X

По крайней мере это скомпилировалось. Большое спасибо.

угу, откуда же ему узнать что Т это тип а не значение