JsonFile
JsonFile : TextFile
JSON text file of unknown dialect. Many formats are JSON but carry semantics of their own; those subtype this and are used where the dialect is known. The "json" file extension resolves here, since the extension alone does not say which dialect a file holds.