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

I'm not sure it is, that example would all be part of one execution right? what does writeThrough mean there? we force write it out and resume from there?