Здравствуйте, Юрий Жмеренецкий, Вы писали:

ЮЖ> Но это может привести к сюрпризам, т.к. инстанцирование шаблона функциональным типом и любым другим будет приводить к совершенно разным последствиям.

+ такую функцию невозможно определить.