// In header: <boost/icl/functors.hpp>

template<typename Functor> 
struct inverse {
  // types
  typedef remove_reference< typename Functor::first_argument_type >::type argument_type;
  typedef icl::inplace_erasure< argument_type >                           type;         
};