次のようなコードで::max<int>()でも::max<d>()でも実体化出来るようにしたいのですがどう直せばいいでしょうか。

#include <algorithm>
template<typename T> class c{ /* 省略 */ };
template<typename T> c<T> max(const c<T>& a, const c<T>& b) { return std::max(a, b); }
class d { /* 省略 */ };
namespace std {
  d max(const d&, const d&) { /* 省略 */ }
}

::max<int>()は一例で、要するに何でも受け付けるようにしたいという意味です。

ここで実現したい制限がいくつかあります:
1. 値が変化するためstd::max(const d&, const d&)の戻り値はconst d&に出来ない。つまりalgorithmのstd::max()を特殊化出来ない。
2. std::max(const d&, const d&)が宣言されない場合があるため、::max<T>()はstd::max(const d&, const d&)の存在を知らなくてもいいようにしたい。
　当然その時はコード中に::max<d>()を実体化するようなコードは無い。

またそもそも論として、
1. ::max<int>()でも::max<d>()でも実体化できるようにする際に::max<T>()の中で呼び出すべきなのはstd::max()なのか。
2. d max(const d&, const d&)の宣言場所はstdの中でいいのか。
といった疑問があります。