More complete creation and destruction.
Skeleton for the Behavior monad.