function jsonValueToJson(value: JsonValue): string & Brand<"Json">;