[
  1,
  "x",
  [
    11,
    {}
  ],
  [
    8,
    {
      "bar": [
        6,
        [
          8,
          {}
        ],
        "x",
        "Integer"
      ],
      "foo": [
        6,
        [
          8,
          {
            "Left": [
              1,
              "b",
              "Bool",
              "b"
            ],
            "Right": "Natural/even"
          }
        ],
        [
          12,
          "Left",
          true,
          {
            "Right": "Natural"
          }
        ]
      ]
    }
  ]
]