party: monoidal instance