let Prelude = https://prelude.dhall-lang.org/package.dhall

in  Prelude.List.map