In fact,
seq<T> isn't just implemented via IEnumerable<T>; it's a simple alias for IEnumerable<T>.