dhall-1.7.0: Prelude/Text/concat

{-
Concatenate all the `Text` values in a `List`

Examples:

```
./concat (["ABC", "DEF", "GHI"] : List Text) = "ABCDEFGHI"

./concat ([] : List Text) = ""
```
-}
    let concat
        : List Text → Text
        =   λ(xs : List Text)
          → List/fold Text xs Text (λ(x : Text) → λ(y : Text) → x ++ y) ""

in  concat