template< class T > 
 requires T::value()
  class P {
  public:
  P(T& r) : t(r) {}
  int operator==( P<T>& p) {
  	return t.value() == p.t.value();
  	}
  private:
  T& t;
  };