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