[
  "number",
  [
    "at",
    [
      "number",
      [
        "get",
        "i"
      ]
    ],
    [
      "array",
      [
        "get",
        "arr"
      ]
    ]
  ]
]