dhall-1.3.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