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

This is where my knowledge of the ExecutionContext is somewhat lacking, but why not pick it up here as well?