[
  13,
  [
    11,
    {
      "Left": "Natural",
      "Right": "Bool"
    }
  ]
]