[
  24,
  [
    "sha256",
    "b0e3ec1797b32c80c0bcb7e8254b08c7e9e35e75e6b410c7ac21477ab90167ad"
  ],
  0,
  [
    24,
    [
      "sha256",
      "16173e984d35ee3ffd8b6b79167df89480e67d1cd03ea5d0fc93689e4d928e61"
    ],
    0,
    3,
    "a.dhall"
  ],
  1,
  "raw.githubusercontent.com",
  "dhall-lang",
  "Prelude",
  "c79c2bc3c46f129cc5b6d594ce298a381bcae92c",
  "List",
  "replicate",
  null,
  null
]