dhall-json-1.6.2: tasty/data/toArbitraryJSON_13_0_0.json

{
  "array": [],
  "bool": false,
  "null": null,
  "double": 1,
  "integer": 1,
  "string": "ABC"
}