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