Вчера наткнулся на следующую запись:

template <class T> 
struct templ;

template <class R>
struct templ <R ()>
{
   //...
};

template <class R>
struct templ <R (int)>
{
   //...
};

...

//templ <int> t0;      //error!
templ <int ()> t1;     //Ok
templ <int (int)> t2;  //Ok

При этом такая специализация работает. Получается, что int, int(), int(int) — три разных типа, но что это за типы и зачем они нужны? В Страуструпе я такого не нашел — подскажите кто что знает, плиз!