[clean-list] Need help with trivial question: uswap :: A.a: Int Int *{*{a}} -> *{*{a}}

[vag]

Hello, friends! H

In the course of several days I trying to write a function to swap two 
array elements:

uswap :: A.a: Int Int *{*{a}} -> *{*{a}}
usap i j a =
    ?

None of the variants even compiled. *sob*

Can you point me towards the solution?

Maybe there are hidden tricky corresponding toolbox function lurks in 
library?

Sincerely yours,
Vag.


P.S. Thanks in advance, John.