More complete implementation of the Behavior monad.