Data.Semigroup.Traversable.Class