Make an Execution[T] type, which is a monad, which makes composing Jobs easy.