dhall-1.3.0: Prelude/List/build

{-
`build` is the inverse of `fold`

Examples:

```
./build
Text
(   λ(list : Type)
→   λ(cons : Text → list → list)
→   λ(nil : list)
→   cons "ABC" (cons "DEF" nil)
)
= ["ABC", "DEF"] : List Text

./build
Text
(   λ(list : Type)
→   λ(cons : Text → list → list)
→   λ(nil : list)
→   nil
)
= [] : List Text
```
-}
let build
    :   ∀(a : Type)
    →   (∀(list : Type) → ∀(cons : a → list → list) → ∀(nil : list) → list)
    →   List a
    =   List/build

in  build