视演示，它依据函数formula_1将整数列表codice_27映射成新的列表codice_28：
推广.在Haskell中，多态函数codice_29，被推广成多类型函数codice_30，它应用于属于函子codice_31类型类的任何类型上。列表的类型构造子codice_10可以定义为codice_31类型类的实例，使用上例中的codice_1函数：instance Functor [] where其他codice_31实例的例子包括树：-- 一个简单的二叉树dat