created a working version for the two-monad operator-controlled