Oh, and it's not stretching at all. Take the swap in your article and instantiate it with

    T=A*

and you'll see that the arguments to the swap become

    A*&