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

Still reading the code so I'm just tossing stuff out as I go along, but this seems like a Reader[(Config, Mode, ConcurrentExecutionContext), Future[T]] ?