[boost] cw/template instantiation question

Hi all, I am having a typeof test problem in cw, which I tracked down to inability to compile the following: typedef std::binder1st< int > type2; // error The error message is: Error : illegal use of template argument dependent type 'T::first_argument_type' Looks like something causes the compiler to instantiate the template... Interestingly, the other similar constructs seem to do fine: typedef std::binary_negate< int > type1; // OK Thanks in advance for any advice. Also I would greatly appreciate, if somebody could send me the sources of CW's binder1st and binary_negate (functional.hpp) Regards, Arkadiy