Make Nil an object. Make List covariant.