What does this `where` clause enable that a plain constraint could not?

extension Sequence where Element: Sequence, Element.Element: Numeric { func sumAll() -> Element.Element { reduce(into: .zero) { acc, row in for v in row { acc += v } } } }