Arrow morphism for switching parameters, works if domain Basetype is Sum.
If you want to happen parameters of Product use swap.