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

NB>весь интерфейс используемый в функции переписывают?
NB>этож застрелиться можно.
NB>я думал это си — многословный язык, ан нет.
Ты о чем?
Это будет прописано один раз.

contract FooBar
{
    void bar();
}

Это вообще часть стандартной библиотеки.

template<class Value>
contract iterator
{
    Value* operator->();
}

Остается это

template<class Iterator, class Value> 
where Iterator : iterator<Value>
where Value : FooBar

Но тут ни куда не деться.