add operational Monad