DSL that enables the Saga pattern in a suspend DSL.
suspend
Executes a Saga and returns its value A
Invoke a Saga and returns its value A
Run an action to produce a value of type A and install a compensation to undo the action.