Underlying monoidal of a message structure

• message theory