Здравствуйте, frogkiller, Вы писали:


F>Вот, и расскажите мне, пожалуйста, как "по-научному" называется такой полиморфизм (ведь в обоих случаях он будет параметрическим? а в первом — ограниченный?) и в чём их разница с точки зрения ФП (а не с точки зрения работы компилятора . Спасибо

Похоже на higher-rank polymorphism. В выражении

template <class T, template <class> class FooT> 
struct Bar2< FooT<T> >

квантор всеобщности стоит и над FooT и "внутри" FooT, над T. Я, правда, не уверен, что в C++ это дает какие-либо содержательные следствия, надо подумать.