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