Читая стандарт C ++ 11, я могуЯ полностью понимаю смысл следующего утверждения. Пример очень приветствуется.

Два набора типов используются для определения частичного упорядочения. Для каждого из задействованных шаблонов существует исходный тип функции и преобразованный тип функции. [Примечание: создание преобразованного типа описано в 14.5.6.2. - конечное примечание] В процессе вывода используется преобразованный тип в качестве шаблона аргумента и исходный тип другого шаблона в качестве шаблона параметра. Этот процесс выполняется дважды для каждого типа, участвующего в сравнении частичного упорядочения: один раз с использованием преобразованного шаблона-1 в качестве шаблона аргумента и шаблона-2 в качестве шаблона параметра и снова с использованием преобразованного шаблона-2 в качестве шаблона аргумента и шаблона-1 в качестве шаблона параметра

-N3242 14.8.2.4.2