We do have such distinction between `Iterable` and...

# stdlib

[ilya.gorbunov]

We do have such distinction between Iterable and Sequence to determine at compile time whether operations should be performed in eager or lazy fashion: most transforming operations on Iterable are eager, while on Sequence they are lazy.
Having Sequence inheriting from Iterable might make overload resolution tricky and unpredictable.