monoidal structure of boxes