Summary.md

6.6 Summary

Semigroupal 和 Applicative 一般用于组合 互相独立 的值，Cats 特定为该场景定义了 Validated。

下一章介绍的 Traverse 和 Foldable 主要用于在 data types 之间进行 转换。