Executes the computation and returns the output state.
The writer to be executed.
The execution of the computation.
Executes the computation and returns the output state.