{ Type =
      ./Type.dhall
        sha256:e2e247455a858317e470e0e4affca8ac07f9f130570ece9cb7ac1f4ea3deb87f
    ? ./Type.dhall
, all =
      ./all.dhall
        sha256:f2f9389d94f4deb5b918b2e50c1093b57e00b37ddd3ab2b43959993b1cb519b6
    ? ./all.dhall
, any =
      ./any.dhall
        sha256:7662b665840e41b12a28190eec3aaab9201fcb90c00a8ec3666d549e1020992f
    ? ./any.dhall
, concat =
      ./concat.dhall
        sha256:6d55181938c06c6b806877028f6a241912e9c0935d9a10dd958775bf21e0f64d
    ? ./concat.dhall
, concatMap =
      ./concatMap.dhall
        sha256:fc33fa9449dc8f74dd8c8be379b7b7c4b0433e2b65650370d81d9a7111a590e2
    ? ./concatMap.dhall
, head =
      ./head.dhall
        sha256:6b9551c97b89fe666d2e03392a4af5e87abfdbdb0aa0e29fc4b3aa1b318474e7
    ? ./head.dhall
, index =
      ./index.dhall
        sha256:0ba2fcc9227fab10676cd61b47a18d779818a19c16727c7cc4b4c78e114fd663
    ? ./index.dhall
, indexed =
      ./indexed.dhall
        sha256:9dae2c1fecd142df837e98769b5bbdd0bfe25c35a93af1064b4e62f9c780ae6b
    ? ./indexed.dhall
, last =
      ./last.dhall
        sha256:f83115492b6e408d0b662a68440620f7f3df07b56e7ed66dab77a6e65b121250
    ? ./last.dhall
, length =
      ./length.dhall
        sha256:eef3b857a164487cfdb960e3298c4731970b7a430011289cba35a9ad722ac989
    ? ./length.dhall
, make =
      ./make.dhall
        sha256:549de393673c4773c80a50ea578ea50d7f2c4c2eda31956e73fabc4e486f3b1e
    ? ./make.dhall
, map =
      ./map.dhall
        sha256:93d53afe874bb2eed946c21ca5ada3c9716b7d00e6d8edfaba6484cd9c5a00bd
    ? ./map.dhall
, reverse =
      ./reverse.dhall
        sha256:a6d810cdd3badffd4e7ca82091609a855cffac900c82d7ff3724463fbc2d5ff2
    ? ./reverse.dhall
, shifted =
      ./shifted.dhall
        sha256:36156973d6916aed10cfd8c59be7c019516bf0a2c47b499a17a8ef0611e1c189
    ? ./shifted.dhall
, singleton =
      ./singleton.dhall
        sha256:c9197aabe97695f7ca66f7419bf172d806b2c915594a8fc0d2ff6495db496ff2
    ? ./singleton.dhall
, toList =
      ./toList.dhall
        sha256:0977fe14b77232a4451dcf409c43df4589c4b3cdde7b613aab8df183be1b53f5
    ? ./toList.dhall
, unzip =
      ./unzip.dhall
        sha256:d0b925bea32a29aad5cb48a84e8ef8cff750308afe1dd20b24eca19e4e999abc
    ? ./unzip.dhall
, zip =
      ./zip.dhall
        sha256:073f8b4808b6d1db84964f772f6291e6ea193602163438db43fa282c560c01e4
    ? ./zip.dhall
}