[
  8,
  {
    "example0": [
      5,
      [
        24,
        3,
        "type.dhall"
      ]
    ],
    "example1": [
      4,
      [
        24,
        3,
        "type.dhall"
      ]
    ]
  }
]