Функция Friend шаблонной структуры с типами аргументов, зависящими от внутренних структур

Я хотел бы определить шаблонную структуру с помощью функции friend, типы аргументов которой выведены из типов, определенных внутри структуры. Функция friend должна быть вызвана без явной спецификации типа, если соответствующая структура была создана.

Кажется, что работает следующий подход:

template <typename T> struct A {
    typedef T const& underlying_param_type;
    typedef A<T>& param_type;
    friend void mutateA(param_type a, underlying_param_type b) { a.data_ = b; }
    T data_;
};

Если определить функцию друга с типами параметров, которые не зависят от внутренних элементов структуры, можно разделить интерфейс и реализацию следующим образом:

template <typename T> struct B;
template <typename T> void mutateB(B<T>& a, T const& b);

template <typename T> struct B {
    friend void mutateB <> (B<T>& a, T const& b);
    T data_;
};

template <typename T> void mutateB(B<T>& a, T const& b) { a.data_ = b; }

Теперь мне интересно, можно ли комбинировать оба подхода. Следующий подход не работает (clang++ 3.3, g++ 4.8.2, -std = С++ 11):

template <typename T> struct C;
template <typename T> void mutateC(typename C<T>::param_type a, typename C<T>::underlying_param_type b);

template <typename T> struct C {
    typedef T const& underlying_param_type;
    typedef C<T>& param_type;
    friend void mutateC <> (typename C<T>::param_type a, typename C<T>::underlying_param_type b);
    T data_;
};

template <typename T> void mutateC(typename C<T>::param_type a, typename C<T>::underlying_param_type b) { a.data_ = b; }

int main() {
    A<int> a;
    mutateA(a, 1);

    B<int> b;
    mutateB(b, 1);

    C<int> c; // error: no function template matches function template specialization 'mutateC'
    mutateC(c, 1);

    return 0;
}

Я предполагаю, что последний подход завершился неудачно, поскольку вывод аргумента шаблона не работает через ::. Есть идеи?