Efficiently deserialize a JSON value from a file. If this fails due to
incomplete or invalid input,
Nothing is returned.
The input file's content must consist solely of a JSON document, with
no trailing data except for whitespace.
This function parses immediately, but defers conversion. See
json for details.