validation:像Either这样的数据类型，但具有累加的Applicative

验证 诸如Either的几种数据类型，但是具有不同的属性和类型类实例。 为这些不同的表示提供了库支持，包括与lens相关的功能，用于在每个表示之间进行转换并对其相似性进行抽象。 从下载。 Validation Validation数据类型与Either是同构的，但是有一个Applicative实例累积在错误侧。 也就是说，如果遇到两个（或多个）错误，则使用Semigroup操作将其附加。 由于此Applicative实例，因此没有相应的Bind或Monad实例。 Validation就是“不是单子的应用函子”的示例。