Support for Execution monad

I would also need an executesOkWithArgs and an executesSuccessfullyWithArgs. Do you think the extra overhead is worth it?