Monoidic -> monoidal