I personally don't like this example: I don't think we should necessarily be encouraging the use of `ToJson`, since serializing (using `Encodable`) directly to a string or a byte vector or any other writer will be much, much faster than going to JSON and then to a string.