monoized submodule addition