6.8 一般处理语言
在这一章。我们已经看到几个递归模式，例如，映射动作，对于选项值并列出可用；它也可以被用来处理元组，我们实现 mapFirst 和 mapSecond 功能。
很多不同的值分享一组相似处理器，因此。这些行动作为一种通用的语言是没有意义的。
但，的操作的名称可能不同值不同：类型的签名相似相名字往往比似更重要的是。
原文：http://www.cnblogs.com/gcczhongduan/p/4624793.html
