test operational monad.