trait Foldable[F[_]] extends Length[F] with Each[F] with Index[F]