product of monoid actions