Simplified the definition of the Behavior monad.