6.8 通用处理语言
在这一章，我们已经看到几种递归模式，比如映射的操作，对于选项值和列表都可用；还可以用于处理元组，我们实现了 mapFirst 和 mapSecond 函数。
许多不同的值共享一组相似的处理函数，因此，把这些操作当作是一种通用语言是意义的。但是，操作的名称可能因值而不同：类型签名中的相似性往往要比名称的相似性更重要。
原文：http://blog.csdn.net/hadstj/article/details/41283875
