name=monoidal_effects