[
  1,
  "x",
  [
    7,
    {
      "field0": "Bool",
      "field1": [
        0,
        "Optional",
        [
          0,
          "Optional",
          "Bool"
        ]
      ],
      "field2": "Natural",
      "field3": "Integer",
      "field4": "Double",
      "field5": "Text",
      "field6": [
        0,
        "List",
        [
          0,
          "List",
          "Bool"
        ]
      ]
    }
  ],
  [
    8,
    {
      "field00": "Natural/fold",
      "field01": "Natural/build",
      "field02": "Natural/isZero",
      "field03": "Natural/even",
      "field04": "Natural/odd",
      "field05": "Natural/toInteger",
      "field06": "Natural/show",
      "field07": "Integer/show",
      "field08": "Double/show",
      "field09": "List/build",
      "field10": "List/fold",
      "field11": "List/length",
      "field12": "List/head",
      "field13": "List/last",
      "field14": "List/indexed",
      "field15": "List/reverse",
      "field16": "Optional/fold",
      "field17": "Optional/build",
      "field18": true,
      "field19": false
    }
  ]
]