Finished lists, sets, type variance and signatures