名字，它将一个应用到一个函子比如列表的每个元素，返回按相同次序的一个列表。映射的概念不受限于列表：它可工作在顺序的容器，类似树的容器，甚至是抽象容器比如future与promise。映射在作为泛函形式考虑时，经常叫做“应用于全部”。在支持头等函数和柯里化的语言中，codice_1可以在一个函数上，将这个只工作在一个值之上函数，提升为工作在整个容器上的逐个元素上的函数。
定义.codice_1作为Haskell的基本前序（prelude：就是标准库）的一部份提供并被实现为：ma