Traverse1

TraverseとFoldable1を継承した型クラスです。Foldable1も含めて、基本的にはekmett/semigroupidsにあるものと同じです。 HaskellにおけるTraversableをTraverseと名付けた関係上、こちらもTraversable1ではなくTraverse1という名前になっています。