Здравствуйте, Hamlet, Вы писали:

H>

A Giraffe may be assigned to a variable of type Animal, and therefore an sequence of Giraffes may be assigned to a variable that can hold a sequence of Animals.

H>А разве не нарушена причино-седственная связь в этой фразе?
Согласен, нарушена. Therefore следует трактовать как "мы тут подумали и решили сделать так, что бы". При этом учесть особенную природу интерфейса IEnumerable<T>, т.к. не для всех интерфейсов будет справедливо. C ICollection<T> уже не работает.