(../../../../../../Prelude/package.dhall).`Text`.concat ([] : List Text)