An important point is that interchange is allowed whenever two morphisms do not share the same devices.
The first is a version in the style of duoid graded monoidal categories. A slightly different version follows, in a more naive style.
References.
Tags: effectful category, Presentations of Premonoidal Categories by Devices.