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

some serious pedantry here but can you bump this above the comment? for our less monad aware viewers it could be confusing. like I said, serious pedantry. that's how good a review this is :P