Maybe add a link to:
http://stackoverflow.com/questions/676615/why-is-scalas-immutable-set-not-covariant-in-its-type
To explain why Set is invariant, but List is not.