ice_12，上例将写为：
可视的例子.下面将看到一个映射过程的每一步骤的可视演示，它依据函数formula_1将整数列表codice_27映射成新的列表codice_28：
推广.在Haskell中，多态函数codice_29，被推广成多类型函数codice_30，它应用于属于函子codice_31类型类的任何类型上。列表的类型构造子codice_10可以定义为codice_31类型类的实例，使用上例中的codice_1函数：instance Fun