Haskell 数据处理：从 CSV 到 SQLite3 的探索
1. Maybe 和 Either 单子
在 Haskell 中，Maybe 和 Either 是非常重要的数据类型。
-Maybe 数据类型：Maybe 是一个带有两个构造器（Just 和 Nothing）的数据类型。Just 构造器接受一个值，而 Nothing 不接受任何值。Maybe 也是单子（monad）这一通用且强大抽象的一个实例。为了说明 Maybe 的重要性，我们可以对比其他编程语言。例如，C 语言中的 int 类型和 Haskell 中的 Int 类型有一些共同之处，它们都是有界类型，有最大值和最小值，并且只能存储整数值，而且该类型的变量必须始终有一个关联的值。如果 C 语言中的 int 类型变量没有被赋值，其初始值将由编译器决定。而 Java 允许创建 Integer 类的对象，Java 会用 null 值初始化变量，null 明确表示该变量没有值。Haskell 允许我们使用 Maybe 实现类似的功能。当一个变量被定义为 Maybe 类型时，它类似于 Java 中引用的概念，明确表示该变量可能持有指定数据的值（Just 值），也可能什么都不持有（Nothing）。
-Either 构造器：Either 是 Maybe 的更高级形式。当我们在 Haskell 中遇到表示 Maybe 的变量时，我们只是说它可能持有一个值，但如果发现是 Nothing，我们并没有说明原因。Either 构造器就是为了解决这个问题而创建的。一个 Either 表达式由两个表达式组成：Left a 和 Right b。Either 允许我们表示一个可以计
