let Prelude = https://prelude.dhall-lang.org/package.dhall in (Prelude.`List`).map