template<typename T, typename TypeInfo = extensions::default_type_info> 
class parameter : public boost::reflections::generic_parameter< TypeInfo > {
public:
  template<typename S> 
  class default_converter :
    public boost::reflections::generic_parameter< TypeInfo >::basic_converter
  {
  public:

    // public member functions
    void convert(void *, void *) const;
  };
  template<typename S> 
  class specialized_converter :
    public boost::reflections::generic_parameter< TypeInfo >::basic_converter
  {
  public:
    // construct/copy/destruct
    specialized_converter(void(*)(T *, S *));

    // public member functions
    void convert(void *, void *) const;
  };
  // construct/copy/destruct
  parameter(T);

  // public member functions
  TypeInfo type() const;
  template<typename S> void converts_to_with_func(void(*)(T *, S *)) ;
  template<typename S> void converts_to() ;
};