Nice design of the `with_output`!