I think they simply thought that the return value of ``element`` must always be of the element type of the collection.