A deferred execution object (with various possible implementations)
Syntactic sugar for resuming with success.
Syntactic sugar for resuming with failure.