operational monad