Use operational monad.